diff options
Diffstat (limited to 'checker/check.ml')
| -rw-r--r-- | checker/check.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checker/check.ml b/checker/check.ml index 4d09e879d..4c4ba980d 100644 --- a/checker/check.ml +++ b/checker/check.ml @@ -12,7 +12,7 @@ open Util open Names let pr_dirpath dp = str (Dir_path.to_string dp) -let default_root_prefix = Dir_path.make [] +let default_root_prefix = Dir_path.empty let split_dirpath d = let l = Dir_path.repr d in (Dir_path.make (List.tl l), List.hd l) let extend_dirpath p id = Dir_path.make (id :: Dir_path.repr p) |