Commit 7e9ef18e authored by Simon Prucker's avatar Simon Prucker
Browse files

removed obsolete unimodal flag

parent eaf2e953
Pipeline #15202 waiting for manual action with stages
......@@ -24,7 +24,7 @@ let matchFixpoint f =
| "Mu" -> (fun x -> (U.curry (FG.formula_fp x) []))
| "CTL" -> FG.formula_ctl
| _ -> fix
let logic = ref (FG.kFormula ~unimodal: false)
let logic = ref FG.kFormula
let amount = ref 1
let size = ref 5
let fp = ref fix
......
Supports Markdown
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