fixed provn
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Wed, 09 Jan 2013 17:49:03 +0000
changeset 5399 c0010157442d
parent 5398 4530d2be25be
child 5400 2898eebe684f
fixed provn
testcases/provo/prov-o-class-Collection-PASS.provn
testcases/provo/prov-o-property-hadMember-PASS.provn
--- a/testcases/provo/prov-o-class-Collection-PASS.provn	Wed Jan 09 17:41:29 2013 +0000
+++ b/testcases/provo/prov-o-class-Collection-PASS.provn	Wed Jan 09 17:49:03 2013 +0000
@@ -21,7 +21,7 @@
   wasDerivedFrom(todays-us-supreme-court, the-first-us-supreme-court)
 
   entity(copied-string, [prov:value="""2010–present: A. Scalia A. Kennedy C. Thomas R.B. Ginsburg
-                                       S. Breyer S. Alito S. Sotomayor E. Kagan"""]);
+                                       S. Breyer S. Alito S. Sotomayor E. Kagan"""])
   entity(page-by-seat, [prov:type='ex:WikipediaPage'])
   entity(page-by-composition, [prov:type='ex:WikipediaPage'])
   
--- a/testcases/provo/prov-o-property-hadMember-PASS.provn	Wed Jan 09 17:41:29 2013 +0000
+++ b/testcases/provo/prov-o-property-hadMember-PASS.provn	Wed Jan 09 17:49:03 2013 +0000
@@ -21,7 +21,7 @@
   wasDerivedFrom(todays-us-supreme-court, the-first-us-supreme-court)
 
   entity(copied-string, [prov:value="""2010–present: A. Scalia A. Kennedy C. Thomas R.B. Ginsburg
-                                       S. Breyer S. Alito S. Sotomayor E. Kagan"""]);
+                                       S. Breyer S. Alito S. Sotomayor E. Kagan"""])
   entity(page-by-seat, [prov:type='ex:WikipediaPage'])
   entity(page-by-composition, [prov:type='ex:WikipediaPage'])