Be consistent
authorbdemsky <bdemsky@uci.edu>
Wed, 21 Jun 2017 22:56:38 +0000 (15:56 -0700)
committerbdemsky <bdemsky@uci.edu>
Wed, 21 Jun 2017 22:56:38 +0000 (15:56 -0700)
commit1ef513bcc82d5806cb1a123d968b411d28c0b019
treefb8030758f2b1bcd2a15f9b45960dff228680bf6
parent7e6fdea0a6bb4097559073a11b440113c3c3e955
Be consistent
src/AST/boolean.c
src/AST/boolean.h
src/AST/element.c
src/AST/element.h
src/Backend/satencoder.c