diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/concepts/Configuration.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/concepts/Configuration.ml b/lib/concepts/Configuration.ml index 5ca95d5..b2c29eb 100644 --- a/lib/concepts/Configuration.ml +++ b/lib/concepts/Configuration.ml @@ -1,3 +1,5 @@ +(* @uses Condition -- builds syntax/type errors *) + open Sexplib.Sexp type term = Sexplib.Sexp.t |