diff options
author | Adam Chlipala <adam@chlipala.net> | 2010-12-11 15:16:04 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2010-12-11 15:16:04 -0500 |
commit | f327681cc734f2b478051f0174ca9d980ff2e5ae (patch) | |
tree | 83876d7a5e776b30240a4894ea70dfa58ddf120b /src/compiler.sig | |
parent | 019d9a9c56bab7876983b78613e621d884ec20ae (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 |