diff options
Diffstat (limited to 'evaluator.mli')
-rwxr-xr-x | evaluator.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/evaluator.mli b/evaluator.mli index b296b90..ce5db7b 100755 --- a/evaluator.mli +++ b/evaluator.mli @@ -4,8 +4,6 @@ val eval: (ScTypes.refs -> ScTypes.result option ScTypes.Refs.range) -> ScTypes. val repr: Format.formatter -> t -> unit
-val get_catalog: unit -> t
-
(** Type definitions *)
type 'a typ
|