projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8f3c8fb) | patch
fix a bug in CLN rational printing where the base was ignored (was causing the new...
authorMorgan Deters <mdeters@gmail.com>
Tue, 28 Aug 2012 17:14:59 +0000 (17:14 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 28 Aug 2012 17:14:59 +0000 (17:14 +0000)
commitb75096dde1f691e14e0300acfb8ea648e7331b2a
tree2c42ef10d26532f0a9f0408546c033b442218c56tree
parent8f3c8fb68976de7dc970020ce8add61431dccf02commit | diff
fix a bug in CLN rational printing where the base was ignored (was causing the new CVC3-compatibility-API system test to fail)
src/util/rational_cln_imp.h diff | blob | history