diff options
| -rw-r--r-- | library/lib.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/library/lib.ml b/library/lib.ml index b1896ae5e8..d1bb6599ad 100644 --- a/library/lib.ml +++ b/library/lib.ml @@ -183,6 +183,8 @@ let add_absolutely_named_leaf sp obj = add_entry sp (Leaf obj) let add_leaf id obj = + if fst (current_prefix ()) = initial_path then + error ("No session module started (use -top dir)"); let oname = make_oname id in cache_object (oname,obj); add_entry oname (Leaf obj); |