fixed provn
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Wed, 09 Jan 2013 17:41:29 +0000
changeset 5398 4530d2be25be
parent 5397 7d3f137d2464
child 5399 c0010157442d
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 16:56:04 2013 +0000
+++ b/testcases/provo/prov-o-class-Collection-PASS.provn	Wed Jan 09 17:41:29 2013 +0000
@@ -20,7 +20,8 @@
 
   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\nS. Breyer S. Alito S. Sotomayor E. Kagan"]);
+  entity(copied-string, [prov:value="""2010–present: A. Scalia A. Kennedy C. Thomas R.B. Ginsburg
+                                       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 16:56:04 2013 +0000
+++ b/testcases/provo/prov-o-property-hadMember-PASS.provn	Wed Jan 09 17:41:29 2013 +0000
@@ -20,7 +20,8 @@
 
   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\nS. Breyer S. Alito S. Sotomayor E. Kagan"]);
+  entity(copied-string, [prov:value="""2010–present: A. Scalia A. Kennedy C. Thomas R.B. Ginsburg
+                                       S. Breyer S. Alito S. Sotomayor E. Kagan"""]);
   entity(page-by-seat, [prov:type='ex:WikipediaPage'])
   entity(page-by-composition, [prov:type='ex:WikipediaPage'])