Fix some things that C++ doesn't like so we don't lose the possibility to use the...
authorbdemsky <bdemsky@uci.edu>
Sat, 17 Jun 2017 07:11:57 +0000 (00:11 -0700)
committerbdemsky <bdemsky@uci.edu>
Sat, 17 Jun 2017 07:28:23 +0000 (00:28 -0700)
commit561b93dec85db0c90426345c0dc669fe3de2d4f7
tree3a1735ab4f75413258d48da0883d64823bfa9ce2
parent5ee472f382b0d0dc077c316d116f2540540caea8
Fix some things that C++ doesn't like so we don't lose the possibility to use the C++ compiler in the future
22 files changed:
src/AST/boolean.c
src/AST/boolean.h
src/AST/element.c
src/AST/element.h
src/AST/function.h
src/AST/ops.h
src/AST/order.c
src/AST/order.h
src/AST/predicate.c
src/AST/predicate.h
src/Backend/constraint.c
src/Backend/constraint.h
src/Backend/inc_solver.c
src/Backend/inc_solver.h
src/Collections/hashtable.h
src/Encoders/elementencoding.c
src/Encoders/elementencoding.h
src/Encoders/functionencoding.c
src/Encoders/functionencoding.h
src/classlist.h
src/csolver.c
src/csolver.h