--- a/rdf-mt/tests/manifest.ttl	Fri Nov 29 17:08:57 2013 +0000
+++ b/rdf-mt/tests/manifest.ttl	Fri Nov 29 10:12:21 2013 -0800
@@ -83,7 +83,7 @@
   """;
   rdfs:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
-  mf:recognizedDatatypes ( xsd:decimal xsd:integer ) ;
+  mf:recognizedDatatypes ( xsd:integer xsd:integer ) ;
   mf:unrecognizedDatatypes ( ) ;
   mf:action <datatypes-intensional/test002.nt>;
   mf:result false .