From d5dd9dd483cc2600ead2999cc5e2b7eaf3321e4e Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 20 Apr 2016 10:38:20 +0200
Subject: [PATCH] par: fix names of instances

---
 heap_lang/lib/par.v | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/heap_lang/lib/par.v b/heap_lang/lib/par.v
index 94df194bf..574278437 100644
--- a/heap_lang/lib/par.v
+++ b/heap_lang/lib/par.v
@@ -11,8 +11,8 @@ Definition par {X} : expr X :=
 Notation Par e1 e2 := (par (Pair (λ: <>, e1) (λ: <>, e2)))%E.
 Infix "||" := Par : expr_scope.
 
-Instance do_wexpr_assert {X Y} (H : X `included` Y) : WExpr H par par := _.
-Instance do_wsubst_assert {X Y} x es (H : X `included` x :: Y) :
+Instance do_wexpr_par {X Y} (H : X `included` Y) : WExpr H par par := _.
+Instance do_wsubst_par {X Y} x es (H : X `included` x :: Y) :
   WSubst x es H par par := do_wsubst_closed _ x es H _.
 Typeclasses Opaque par.
 
-- 
GitLab