From 2bb075e41d9b751bfb649f1385018529b112dee4 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Wed, 6 Mar 2019 16:07:29 +0000
Subject: Extract constant propagation and related functions from
 monomorphisation. This shouldn't change any functionality.

---
 src/rewriter.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/rewriter.ml')

diff --git a/src/rewriter.ml b/src/rewriter.ml
index 89f64401..edf0d4a5 100644
--- a/src/rewriter.ml
+++ b/src/rewriter.ml
@@ -52,7 +52,6 @@ module Big_int = Nat_big_num
 open Ast
 open Ast_util
 open Type_check
-open Spec_analysis
 
 type 'a rewriters = {
     rewrite_exp  : 'a rewriters -> 'a exp -> 'a exp;
-- 
cgit v1.2.3