diff options
Diffstat (limited to 'src/constant_propagation.mli')
| -rw-r--r-- | src/constant_propagation.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/constant_propagation.mli b/src/constant_propagation.mli index 1312290a..fb2ad179 100644 --- a/src/constant_propagation.mli +++ b/src/constant_propagation.mli @@ -61,7 +61,7 @@ open Type_check val const_prop : string -> - tannot defs -> + tannot ast -> IdSet.t -> tannot exp Bindings.t * nexp KBindings.t -> tannot exp Bindings.t -> @@ -70,4 +70,4 @@ val const_prop : val referenced_vars : tannot exp -> IdSet.t -val remove_impossible_int_cases : 'a -> tannot defs -> tannot defs +val remove_impossible_int_cases : 'a -> tannot ast -> tannot ast |