diff options
Diffstat (limited to 'abstract/interpret.ml')
| -rw-r--r-- | abstract/interpret.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/abstract/interpret.ml b/abstract/interpret.ml index cb32e22..f6a6cb4 100644 --- a/abstract/interpret.ml +++ b/abstract/interpret.ml @@ -73,7 +73,6 @@ module Make (E : ENVIRONMENT_DOMAIN) = struct (binop AST_OR (binop AST_LESS e1 e2) (binop AST_LESS e2 e1)) env - | _ -> env end |