diff options
Diffstat (limited to 'src/State.v')
| -rw-r--r-- | src/State.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/State.v b/src/State.v index 4b0db6d..663b2b3 100644 --- a/src/State.v +++ b/src/State.v @@ -17,7 +17,7 @@ Require Import List Bool Int63 PArray Omega. Local Open Scope int63_scope. Local Open Scope array_scope. -Coercion is_true (x: bool) := x = true. +Coercion is_true : bool >-> Sortclass. Set Vm Optimize. |