diff options
Diffstat (limited to 'mppa_k1c/abstractbb/Impure/ImpConfig.v')
| -rw-r--r-- | mppa_k1c/abstractbb/Impure/ImpConfig.v | 4 |
1 files changed, 2 insertions, 2 deletions
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. |