(chore) Upgrade to Concerto 0.60

Signed-off-by: Jerome Simeon <[email protected]>
accordproject · Nov 9, 2018 · 5b70949 · 5b70949
1 parent 031d3d9
commit 5b70949
Show file tree

Hide file tree

Showing 9 changed files with 4,138 additions and 4,622 deletions.
diff --git a/examples/acceptance-of-delivery/request.json b/examples/acceptance-of-delivery/request.json
@@ -1,5 +1,5 @@
 {
     "$class":"org.accordproject.acceptanceofdelivery.InspectDeliverable",
-    "deliverableReceivedAt": "25 Oct 2018 16:34:00 EST",
+    "deliverableReceivedAt": "5 Nov 2018 16:34:00 EST",
     "inspectionPassed": true
 }
diff --git a/mechanization/Common/Utils/Provenance.v b/mechanization/Common/Utils/Provenance.v
@@ -88,4 +88,11 @@ Section Provenance.
          (string_of_location_point loc.(loc_start)) ++ "-" ++
          (string_of_location_point loc.(loc_end)).
 
+  Definition string_of_location_no_file (loc : location) : string :=
+    let file := ""%string
+    in
+    file ++
+         (string_of_location_point loc.(loc_start)) ++ "-" ++
+         (string_of_location_point loc.(loc_end)).
+
 End Provenance.
diff --git a/mechanization/Common/Utils/Result.v b/mechanization/Common/Utils/Result.v
@@ -140,7 +140,7 @@ Section Result.
   Section Fmt.
     Definition format_error (name : string) (prov : provenance) (msg : string) :=
       let loc := loc_of_provenance prov in
-      (name ++ " at " ++ (string_of_location loc) ++ " '" ++ msg ++ "'")%string.
+      (name ++ " at " ++ (string_of_location_no_file loc) ++ " '" ++ msg ++ "'")%string.
   End Fmt.
 
   (** Built-in errors *)