diff options
Diffstat (limited to 'Makefile.config.in')
| -rw-r--r-- | Makefile.config.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.config.in b/Makefile.config.in index d6eada4e..1b0b7ba8 100644 --- a/Makefile.config.in +++ b/Makefile.config.in @@ -35,7 +35,7 @@ STP_LDFLAGS := @STP_LDFLAGS@ ENABLE_METASMT := @ENABLE_METASMT@ METASMT_ROOT := @METASMT_ROOT@ -METASMT_DEFAULT_SOLVER := @METASMT_DEFAULT_SOLVER@ +METASMT_DEFAULT_BACKEND := @METASMT_DEFAULT_BACKEND@ ENABLE_Z3 := @ENABLE_Z3@ Z3_CFLAGS := @Z3_CFLAGS@ |