diff options
Diffstat (limited to 'src/theory/mktheorytraits')
| -rwxr-xr-x | src/theory/mktheorytraits | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/mktheorytraits b/src/theory/mktheorytraits index b6162ec38..9107eb72d 100755 --- a/src/theory/mktheorytraits +++ b/src/theory/mktheorytraits @@ -128,7 +128,7 @@ function alternate { " eval "alternate_for_$1=\"\${alternate_for_$1} - if(options::theoryAlternates()[\\\"$2\\\"]) { + if(engine->useTheoryAlternative(\\\"$2\\\")) { engine->addTheory< $3 >($1); return; }\"" |