Flatten the sources, only leave the XPath module packed.

[tatoo.git] / src / utils.mlpack

diff --git a/src/utils.mlpack b/src/utils.mlpack
deleted file mode 100644 (file)
index 755f521..0000000
--- a/src/utils.mlpack
+++ /dev/null
@@ -1,15 +0,0 @@
-utils/Cache
-utils/Common_sig
-utils/FiniteCofinite
-utils/FiniteCofinite_sig
-utils/Hcons
-utils/Hcons_sig
-utils/Hlist
-utils/Hlist_sig
-utils/Misc
-utils/Pretty
-utils/Ptset
-utils/Ptset_sig
-utils/QName
-utils/QNameSet
-utils/Uid