diff --git a/src/dune b/src/dune
index 50199be2..5683565b 100644
--- a/src/dune
+++ b/src/dune
@@ -13,6 +13,7 @@
 
 (library
  (name tlapm_lib)
+ (public_name tlapm)
  (modules
   (:standard \ tlapm test_schedule why3_interface abstractor))
  (libraries
diff --git a/src/tlapm_lib.mli b/src/tlapm_lib.mli
index 57de4b9b..ec04b354 100644
--- a/src/tlapm_lib.mli
+++ b/src/tlapm_lib.mli
@@ -1,5 +1,9 @@
 (*
  * Copyright (C) 2008-2010  INRIA and Microsoft Corporation
+ *
+ * WARNING: While this library is exposed for other projects, its interface
+ * is considered experimentai and not stable. It can change in uncompatible
+ * ways in the future.
  *)
 
 module Module = Module