Fixing spell of entries
authorHamed <hamed.gorjiara@gmail.com>
Thu, 20 Jul 2017 02:22:54 +0000 (19:22 -0700)
committerHamed <hamed.gorjiara@gmail.com>
Thu, 20 Jul 2017 02:22:54 +0000 (19:22 -0700)
commit13ac4c4427caf987cbfb076325df0aac318cf349
tree03757fef3fcb18947e336ff7227904f890c862e7
parent77683dd2de7fd732d855c5d190a46c26ba5e5db4
Fixing spell of entries
src/AST/table.c
src/AST/table.h
src/Backend/satfunctableencoder.c