From 5d3fe67e7bcb391e00cf72edbc6728e569f1ec07 Mon Sep 17 00:00:00 2001
From: Jacques-Henri Jourdan <jacques-henri.jourdan@normalesup.org>
Date: Tue, 9 Aug 2016 01:24:52 +0200
Subject: [PATCH] Parentheses.

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

diff --git a/heap_lang/lang.v b/heap_lang/lang.v
index 186439910..9471d5b04 100644
--- a/heap_lang/lang.v
+++ b/heap_lang/lang.v
@@ -349,7 +349,7 @@ Proof.
  refine (cast_if (decide (of_val v1 = of_val v2))); abstract naive_solver.
 Defined.
 
-Instance expr_inhabited : Inhabited (expr) := populate (Lit LitUnit).
+Instance expr_inhabited : Inhabited expr := populate (Lit LitUnit).
 Instance val_inhabited : Inhabited val := populate (LitV LitUnit).
 
 Canonical Structure stateC := leibnizC state.
-- 
GitLab