projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 18421d3) | patch
Fix a segfault in the printer infrastructure when called from API and no language...
authorMorgan Deters <mdeters@cs.nyu.edu>
Tue, 26 Nov 2013 21:37:06 +0000 (16:37 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Tue, 26 Nov 2013 21:37:06 +0000 (16:37 -0500)
commite45b3b0ff2ffc9bee6f090a4744f6d5eb6da8b72
tree8f57909106521bd16375068ebbf573021d074febtree
parent18421d3a95b42e85dcd7cb5935d4b2519b168007commit | diff
Fix a segfault in the printer infrastructure when called from API and no language is set
src/printer/printer.h diff | blob | history