Bug fix for serializing Boolean Const ...
authorHamed Gorjiara <hgorjiar@uci.edu>
Thu, 4 Oct 2018 22:01:25 +0000 (15:01 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Thu, 4 Oct 2018 22:01:25 +0000 (15:01 -0700)
commit8391eb863cc6fa8e4b620fdd0ba5e482d22e75ea
treeea7dd16223c816eda374496e23b4886d5d6bc584
parent4e77a823cbd989acf9af926ad688239593491ebe
Bug fix for serializing Boolean Const ...
src/AST/boolean.cc
src/AST/boolean.h
src/Serialize/deserializer.cc
src/Serialize/deserializer.h