diff options
Diffstat (limited to 'src/rewriter.ml')
| -rw-r--r-- | src/rewriter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/rewriter.ml b/src/rewriter.ml index 96a729e6..d1e73c0a 100644 --- a/src/rewriter.ml +++ b/src/rewriter.ml @@ -44,7 +44,7 @@ open Big_int open Ast open Ast_util -open Type_check_new +open Type_check open Spec_analysis type 'a rewriters = { |