diff options
Diffstat (limited to 'src/smt/simplification_mode.h')
-rw-r--r-- | src/smt/simplification_mode.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/smt/simplification_mode.h b/src/smt/simplification_mode.h index 2242e8bdf..b0b78d318 100644 --- a/src/smt/simplification_mode.h +++ b/src/smt/simplification_mode.h @@ -26,8 +26,6 @@ namespace CVC4 { /** Enumeration of simplification modes (when to simplify). */ typedef enum { - /** Simplify the assertions as they come in */ - SIMPLIFICATION_MODE_INCREMENTAL, /** Simplify the assertions all together once a check is requested */ SIMPLIFICATION_MODE_BATCH, /** Don't do simplification */ |