diff options
Diffstat (limited to 'src/jib/jib_compile.mli')
| -rw-r--r-- | src/jib/jib_compile.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/jib/jib_compile.mli b/src/jib/jib_compile.mli index 38d03d40..a0acdd0d 100644 --- a/src/jib/jib_compile.mli +++ b/src/jib/jib_compile.mli @@ -128,7 +128,7 @@ module Make(C: Config) : sig (see Util.progress). *) val compile_def : int -> int -> ctx -> tannot def -> cdef list * ctx - val compile_ast : ctx -> tannot defs -> cdef list * ctx + val compile_ast : ctx -> tannot ast -> cdef list * ctx end (** Adds some special functions to the environment that are used to |