Fixing missing changes
authorHamed Gorjiara <hgorjiar@uci.edu>
Fri, 29 Sep 2017 21:16:17 +0000 (14:16 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Fri, 29 Sep 2017 21:16:17 +0000 (14:16 -0700)
commit06af2c9f2f6b5db9c148abd8cbcec6df01823172
tree7e13d4ad4b52f1c5ee378eefdc1bcbd9f6b9c706
parent548c4213453db9553e98686df89da5e429dd9bf3
Fixing missing changes
src/AST/boolean.cc
src/AST/boolean.h
src/AST/element.h
src/AST/predicate.cc