diff options
author | 2010-12-11 15:16:04 -0500 | |
---|---|---|
committer | 2010-12-11 15:16:04 -0500 | |
commit | 718af1b286a8fbd3f9f97358ab3bd995684f9543 (patch) | |
tree | 83876d7a5e776b30240a4894ea70dfa58ddf120b /src/compiler.sig | |
parent | b30701c28e5a4072bc7efecc739fef12d509abc0 (diff) |
minHeap option in .urp files
Diffstat (limited to 'src/compiler.sig')
-rw-r--r-- | src/compiler.sig | 3 |
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 |