summaryrefslogtreecommitdiff
path: root/sched/netlist_ast.ml
diff options
context:
space:
mode:
Diffstat (limited to 'sched/netlist_ast.ml')
-rw-r--r--sched/netlist_ast.ml4
1 files changed, 2 insertions, 2 deletions
diff --git a/sched/netlist_ast.ml b/sched/netlist_ast.ml
index ae16888..1866ed3 100644
--- a/sched/netlist_ast.ml
+++ b/sched/netlist_ast.ml
@@ -10,8 +10,8 @@ module Env = struct
List.fold_left (fun env (x, ty) -> add x ty env) empty l
end
-type ty = TBit | TBitArray of int
-type value = VBit of bool | VBitArray of bool array
+type ty = int (* just one for a bit... *)
+type value = bool array
type binop = Or | Xor | And | Nand