diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-17 16:32:47 -0400 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2014-06-19 18:24:39 -0400 |
| commit | 51dc426b0e217a4f1292be995f5473a7f2d27ad8 (patch) | |
| tree | 43e962d153ad87d9c21501413f23dfac08862af0 /src/smt/smt_engine.h | |
| parent | 5a7e8c7127ccd914633441adbc039f0c8a1fdac2 (diff) | |
Fix for new CASC features, fixes Java builds.
Diffstat (limited to 'src/smt/smt_engine.h')
| -rw-r--r-- | src/smt/smt_engine.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/smt_engine.h b/src/smt/smt_engine.h index c53156a3c..acf7954bc 100644 --- a/src/smt/smt_engine.h +++ b/src/smt/smt_engine.h @@ -656,7 +656,7 @@ public: /** * Set print function in model */ - void setPrintFuncInModel( Node f, bool p ); + void setPrintFuncInModel(Expr f, bool p); };/* class SmtEngine */ |