Commit 2b14b9db authored by Raphaël Cauderlier's avatar Raphaël Cauderlier
Browse files

[dk_type] Remove unused rewrite variable

parent af1972c9
......@@ -420,9 +420,9 @@ match_eq_bool_false :
(Istrue b -> Bool) ->
Bool.
[ b : Bool, Ht : Istrue true -> Bool ]
[ Ht : Istrue true -> Bool ]
match_eq_bool_false dk_bool.true Ht --> Ht dk_logic.I
[ b : Bool, Ht : Istrue false -> Bool ]
[ Ht : Istrue false -> Bool ]
match_eq_bool_false dk_bool.false Ht --> false.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment