diff options
Diffstat (limited to 'checker')
| -rw-r--r-- | checker/check.mllib | 2 | ||||
| -rw-r--r-- | checker/checker.ml | 1 |
2 files changed, 3 insertions, 0 deletions
diff --git a/checker/check.mllib b/checker/check.mllib index 22df37562..8381144e8 100644 --- a/checker/check.mllib +++ b/checker/check.mllib @@ -33,6 +33,8 @@ Util Ephemeron Future CUnix + +Systemdirs System Profile RemoteCounter diff --git a/checker/checker.ml b/checker/checker.ml index ffe155319..360f99649 100644 --- a/checker/checker.ml +++ b/checker/checker.ml @@ -10,6 +10,7 @@ open Pp open Errors open Util open System +open Systemdirs open Flags open Names open Check |