From ba7cf95f49f6354ea20043af45f60d685232bbbc Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Wed, 7 Sep 2016 00:26:38 +0200
Subject: [PATCH] Use pair syntax in par implementation.

---
 heap_lang/lib/par.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/heap_lang/lib/par.v b/heap_lang/lib/par.v
index 1a91d7e75..1c94a2ecf 100644
--- a/heap_lang/lib/par.v
+++ b/heap_lang/lib/par.v
@@ -9,7 +9,7 @@ Definition par : val :=
     let: "handle" := spawn (Fst "fs") in
     let: "v2" := Snd "fs" #() in
     let: "v1" := join "handle" in
-    Pair "v1" "v2".
+    ("v1", "v2").
 Notation "e1 || e2" := (par (Pair (λ: <>, e1) (λ: <>, e2)))%E : expr_scope.
 Global Opaque par.
 
-- 
GitLab