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

diff --git a/src/utils.mlpack b/src/utils.mlpack
index 8115b79..755f521 100644
--- a/src/utils.mlpack
+++ b/src/utils.mlpack
@@ -1,12 +1,15 @@
+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_sig
 utils/Ptset
+utils/Ptset_sig
 utils/QName
 utils/QNameSet
 utils/Uid