Fix datatype in manifest for datatypes-intensional-xsd-integer-string-incompatible semantics test
authorPeter F. Patel-Schneider <pfpschneider@gmail.com>
Fri, 29 Nov 2013 10:14:14 -0800
changeset 1429 4171e08aa7ff
parent 1428 64eb2be1067b
child 1430 68fb35c52c9a
Fix datatype in manifest for datatypes-intensional-xsd-integer-string-incompatible semantics test
rdf-mt/tests/manifest.ttl
--- a/rdf-mt/tests/manifest.ttl	Fri Nov 29 10:12:21 2013 -0800
+++ b/rdf-mt/tests/manifest.ttl	Fri Nov 29 10:14:14 2013 -0800
@@ -84,6 +84,7 @@
   rdfs:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( xsd:integer xsd:integer ) ;
+## This used to be incorrect.
   mf:unrecognizedDatatypes ( ) ;
   mf:action <datatypes-intensional/test002.nt>;
   mf:result false .