diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-02-05 23:59:55 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-02-05 23:59:55 +0100 |
| commit | cd06055e779d5909692da39bededc0141080c9d0 (patch) | |
| tree | 89fb6ed50b696c9f936f4d7f016db2e6d8c3853b /passes/sat/Makefile.inc | |
| parent | 7e9ba60df88661f1eb9996b802bd5ba6b60a2d73 (diff) | |
Added expose command
Diffstat (limited to 'passes/sat/Makefile.inc')
| -rw-r--r-- | passes/sat/Makefile.inc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/passes/sat/Makefile.inc b/passes/sat/Makefile.inc index be44ff98..4fa6bf0d 100644 --- a/passes/sat/Makefile.inc +++ b/passes/sat/Makefile.inc @@ -3,4 +3,5 @@ OBJS += passes/sat/sat.o OBJS += passes/sat/freduce.o OBJS += passes/sat/eval.o OBJS += passes/sat/miter.o +OBJS += passes/sat/expose.o |