Commit a03094d6 authored by ='s avatar =

Cleaning a bit.

parent 375ca08b
......@@ -11,7 +11,6 @@ Require Export Daisy.Infra.Abbrevs Daisy.Infra.RealSimps Daisy.Infra.NatSet Dais
**)
Inductive binop : Type := Plus | Sub | Mult | Div.
(** TODO: simplify pattern matching **)
Definition binopEqBool (b1:binop) (b2:binop) :=
match b1, b2 with
| Plus, Plus => true
......
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