diff options
author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-11-06 12:11:11 -0600 |
---|---|---|
committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-11-06 12:11:11 -0600 |
commit | be7e2fcf9c0b1b45bcd253211b9ebdd1c2257198 (patch) | |
tree | a4fd12d7a87ced32c8a590da8ad128b1b3ded263 /src/theory/strings/theory_strings.h | |
parent | a033e9f6fb8d24a0d8db872904bbdc289ab1e98c (diff) |
change options
Diffstat (limited to 'src/theory/strings/theory_strings.h')
-rw-r--r-- | src/theory/strings/theory_strings.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/strings/theory_strings.h b/src/theory/strings/theory_strings.h index 1291fc94e..df31dcff7 100644 --- a/src/theory/strings/theory_strings.h +++ b/src/theory/strings/theory_strings.h @@ -169,7 +169,7 @@ class TheoryStrings : public Theory { ///////////////////////////////////////////////////////////////////////////// public: - + void presolve(); void shutdown() { } ///////////////////////////////////////////////////////////////////////////// |