diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-03-09 18:28:44 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-03-09 18:28:44 -0500 |
| commit | ba73bb0f4dc54d67c55f0d8c74ebe8ac62344217 (patch) | |
| tree | cfae7f68e88476d305e0b36b40583cb81a98b2da /src/compiler.sig | |
| parent | 886cb3fa5ae08b3012411dd1243ceace4406978a (diff) | |
safeGet
Diffstat (limited to 'src/compiler.sig')
| -rw-r--r-- | src/compiler.sig | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/compiler.sig b/src/compiler.sig index 6be2b22f..0516d97e 100644 --- a/src/compiler.sig +++ b/src/compiler.sig @@ -1,4 +1,4 @@ -(* Copyright (c) 2008-2009, Adam Chlipala +(* Copyright (c) 2008-2010, Adam Chlipala * All rights reserved. * * Redistribution and use in source and binary forms, with or without @@ -53,7 +53,8 @@ signature COMPILER = sig filterMime : Settings.rule list, protocol : string option, dbms : string option, - sigFile : string option + sigFile : string option, + safeGets : string list } val compile : string -> bool val compiler : string -> unit |