diff --git a/heap_lang/lib/par.v b/heap_lang/lib/par.v
index 1a91d7e7576e97668309ad7ef1add0f4c2c502a4..1c94a2ecf1812892890d9edef749a68bd7796f36 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.