Split the sig.ml module in *_sig.ml (one for each module)

[tatoo.git] / src / utils.mlpack

diff --git a/src/utils.mlpack b/src/utils.mlpack
index 27622d0..8115b79 100644 (file)
--- a/src/utils.mlpack
+++ b/src/utils.mlpack
@@ -1,9 +1,12 @@
+utils/Common_sig
 utils/FiniteCofinite
+utils/FiniteCofinite_sig
 utils/Hcons
+utils/Hcons_sig
 utils/Misc
 utils/Pretty
+utils/Ptset_sig
 utils/Ptset
 utils/QName
 utils/QNameSet
-utils/Sigs
 utils/Uid