X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Futils.mlpack;h=8115b7997770facdcec93f6ceef1fd6e53f7aa8b;hp=27622d0dff8678a21b34799ebf3e92d98e8faa13;hb=f5e7e53901bfc30b6234e6026a2c984bfceff694;hpb=a3d6ecbcea379fa51785848a5b8b53bca4e4bdd2

diff --git a/src/utils.mlpack b/src/utils.mlpack
index 27622d0..8115b79 100644
--- 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