diff options
Diffstat (limited to 'src/spec_analysis.mli')
| -rw-r--r-- | src/spec_analysis.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/spec_analysis.mli b/src/spec_analysis.mli index 41ab9b6c..b111f6f0 100644 --- a/src/spec_analysis.mli +++ b/src/spec_analysis.mli @@ -49,6 +49,7 @@ (**************************************************************************) open Ast +open Ast_defs open Ast_util open Util open Type_check @@ -76,7 +77,7 @@ val is_within_machine64 : typ -> nexp_range list -> triple *) (* produce a new ordering for defs, limiting to those listed in the list, which respects dependencies *) (* val restrict_defs : 'a defs -> string list -> 'a defs *) -val top_sort_defs : tannot defs -> tannot defs +val top_sort_defs : tannot ast -> tannot ast (** Return the set of mutable variables assigned to in the given AST. *) val assigned_vars : 'a exp -> IdSet.t |