diff options
| author | Kathy Gray | 2015-11-04 11:30:39 +0000 |
|---|---|---|
| committer | Kathy Gray | 2015-11-04 11:30:39 +0000 |
| commit | 0f935fbc68d0000bbb97eccfe54f54292cb2b36f (patch) | |
| tree | 69746cbb2cc88aa5f234bc020a4955b5b0123f1f /src/rewriter.ml | |
| parent | 7ae09fc36e8dcd6af767f1d5ffe7786d01870ab6 (diff) | |
Add a new module for writing queries/analyses that aren't type checking but could be useful
Define in that a function for determining a default direction for vectors
Diffstat (limited to 'src/rewriter.ml')
| -rw-r--r-- | src/rewriter.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/rewriter.ml b/src/rewriter.ml index bc7cba0d..39234b11 100644 --- a/src/rewriter.ml +++ b/src/rewriter.ml @@ -1,6 +1,7 @@ open Big_int open Ast open Type_internal +open Spec_analysis type typ = Type_internal.t type 'a exp = 'a Ast.exp type 'a emap = 'a Envmap.t |