aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/compiler.sig
diff options
context:
space:
mode:
Diffstat (limited to 'src/compiler.sig')
-rw-r--r--src/compiler.sig3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/compiler.sig b/src/compiler.sig
index d0f6ac72..971ddf53 100644
--- a/src/compiler.sig
+++ b/src/compiler.sig
@@ -55,7 +55,8 @@ signature COMPILER = sig
dbms : string option,
sigFile : string option,
safeGets : string list,
- onError : (string * string list * string) option
+ onError : (string * string list * string) option,
+ minHeap : int
}
val compile : string -> bool
val compiler : string -> unit