Skip to content

GitLab

C
cduce
Commit fa57e39e authored by Pietro Abate's avatar Pietro Abate
Browse files
Options

fix compilation error in tallyingtest

parent b5c29546
Hide whitespace changes
Inline Side-by-side
Showing with 2 additions and 2 deletions
tests/libtest/tallyingTest.ml
View file @ fa57e39e
......@@ -61,8 +61,8 @@ let mk_union_res l1 l2 =
(* check invariants on the constraints sets *)
let mk_pp = function
|P(V alpha,t) -> Tallying.CS.singleton Var.Set.empty (Tallying.Pos (Var.mk alpha,parse_typ t))
|N(t,V alpha) -> Tallying.CS.singleton Var.Set.empty (Tallying.Neg (parse_typ t,Var.mk alpha))
|P(V alpha,t) -> Tallying.CS.singleton (Tallying.Pos (Var.mk alpha,parse_typ t))
|N(t,V alpha) -> Tallying.CS.singleton (Tallying.Neg (parse_typ t,Var.mk alpha))
let mk_prod l =
List.fold_left (fun acc c ->
......
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