X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Futils.mlpack;fp=src%2Futils.mlpack;h=711e03f8f9a6997815f5d3ea4f6ede2a2548b5ca;hp=8115b7997770facdcec93f6ceef1fd6e53f7aa8b;hb=748057239bad98bebc0f38403f05c1feb3712e82;hpb=0e6ff0ee8b034d096106b907a9d77831024a5d6e

diff --git a/src/utils.mlpack b/src/utils.mlpack
index 8115b79..711e03f 100644
--- a/src/utils.mlpack
+++ b/src/utils.mlpack
@@ -1,3 +1,4 @@
+utils/Cache
 utils/Common_sig
 utils/FiniteCofinite
 utils/FiniteCofinite_sig
@@ -5,8 +6,8 @@ utils/Hcons
 utils/Hcons_sig
 utils/Misc
 utils/Pretty
-utils/Ptset_sig
 utils/Ptset
+utils/Ptset_sig
 utils/QName
 utils/QNameSet
 utils/Uid