1 files changed, 1 insertions, 0 deletions
diff --git a/Test/alltests.txt b/Test/alltests.txt
index baffc2a1..8b4f00f6 100644
--- a/Test/alltests.txt
+++ b/Test/alltests.txt
@@ -21,6 +21,7 @@ prover           Use    Tests checking various prover options
 test17           Postponed    Tests inference of parameterized contracts
 z3api            Postponed    Test for Z3 Managed .NET API prover
 houdini          Use    Test for Houdini decision procedure
+datatypes	 Use	Test for datatypes
 dafny0           Use    Dafny functionality tests
 dafny1           Use    Various Dafny examples
 dafny2           Use    More Dafny examples