Implement runtime optimisation via Hashing of transitions.

[tatoo.git] / src / utils.mlpack

diff --git a/src/utils.mlpack b/src/utils.mlpack
index 711e03f..755f521 100644 (file)
--- a/src/utils.mlpack
+++ b/src/utils.mlpack
@@ -4,6 +4,8 @@ utils/FiniteCofinite
 utils/FiniteCofinite_sig
 utils/Hcons
 utils/Hcons_sig
+utils/Hlist
+utils/Hlist_sig
 utils/Misc
 utils/Pretty
 utils/Ptset