Be more verbose in interpret_{reduc., pers.}()
authorStefan Huber <shuber@sthu.org>
Fri, 21 Nov 2014 19:22:49 +0000 (20:22 +0100)
committerStefan Huber <shuber@sthu.org>
Fri, 21 Nov 2014 19:22:49 +0000 (20:22 +0100)
commit909909ce5de57f1454686cf6251d0bd9652a96d9
treebe8f4857812fa0123a44a3f1f0b440a7efdbd5e5
parent7336073618c7d862759add5cbbe45465e496b029
Be more verbose in interpret_{reduc., pers.}()
include/libstick-0.1/persistence.h