From 55d62972391310a71e7bc0eff362fc339455b23b Mon Sep 17 00:00:00 2001
From: Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr>
Date: Sat, 2 Mar 2019 09:22:37 +0100
Subject: (Unsafe) coercion of ??bool into bool

---
 mppa_k1c/abstractbb/Impure/ImpConfig.v | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'mppa_k1c/abstractbb/Impure')

diff --git a/mppa_k1c/abstractbb/Impure/ImpConfig.v b/mppa_k1c/abstractbb/Impure/ImpConfig.v
index 55931e0f..3d807c4e 100644
--- a/mppa_k1c/abstractbb/Impure/ImpConfig.v
+++ b/mppa_k1c/abstractbb/Impure/ImpConfig.v
@@ -19,7 +19,7 @@ Module Type ImpureView.
 
 *)
 
-(*
+(* *)
  Module UnsafeImpure.
 
  Parameter unsafe_coerce: forall {A}, t A -> A.
@@ -27,7 +27,7 @@ Module Type ImpureView.
  Parameter unsafe_coerce_not_really_correct: forall A (k: t A) (x:A), (unsafe_coerce k)=x -> mayRet k x. 
 
  End UnsafeImpure.
-*)
+(* *)
 
 End ImpureView.
 
-- 
cgit