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 | ca4a8d4f0bb2398be6d676613b728b9d6c21ce1e (patch) | |
| tree | cfae7f68e88476d305e0b36b40583cb81a98b2da /src/compiler.sig | |
| parent | 0d99de676efff76b49f4f6e1e6419d4a995f6400 (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 |