diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-05-29 20:13:52 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-06-06 15:40:36 -0400 |
commit | 5c42662fe5cea3051341c8292202357e2a5e7dd3 (patch) | |
tree | 94aa636b95c7a81594a3d82f236263c91b0f6d0f /examples/sets-translate/Makefile | |
parent | 0dce010bea47bc6a318eece2bd92ed2305b64c21 (diff) |
Sets translate, and other short fixes
- $ is a simple symbol is smt2.
- ever found yourself counting in kind.h? no longer.
- expose parser "logic is set" state for smt/smt2 (any better way?)
- a more helpful assertion message in smt_engine
Diffstat (limited to 'examples/sets-translate/Makefile')
-rw-r--r-- | examples/sets-translate/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/examples/sets-translate/Makefile b/examples/sets-translate/Makefile new file mode 100644 index 000000000..8efe0c48e --- /dev/null +++ b/examples/sets-translate/Makefile @@ -0,0 +1,4 @@ +topdir = ../.. +srcdir = examples/sets-translate + +include $(topdir)/Makefile.subdir |