diff options
Diffstat (limited to 'src/options/quantifiers_modes.h')
-rw-r--r-- | src/options/quantifiers_modes.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/options/quantifiers_modes.h b/src/options/quantifiers_modes.h index 33c047d23..a949b97be 100644 --- a/src/options/quantifiers_modes.h +++ b/src/options/quantifiers_modes.h @@ -59,8 +59,6 @@ enum MbqiMode { MBQI_NONE, /** default, mbqi from Section 5.4.2 of AJR thesis */ MBQI_FMC, - /** mbqi with integer intervals */ - MBQI_FMC_INTERVAL, /** abstract mbqi algorithm */ MBQI_ABS, /** mbqi trust (produce no instantiations) */ |