Unverified Commit bf8f44d8 authored by Merlin's avatar Merlin 💧
Browse files

Unused variable

parent ca810e1c
Pipeline #18048 passed with stages
in 90 minutes and 29 seconds
......@@ -2254,7 +2254,6 @@ let checkClosed f = match freeVariables f with
| frees -> raise (CoAlgException (Printf.sprintf "%s is not closed because the variables '%s' occur freely" (string_of_formula f) (List.fold_right (fun el accu -> el ^ " " ^ accu) (List.tl frees) (List.hd frees))))
let convertToMu formula =
let name = Stream.next gensym in
let helper formula =
match formula with
| AF f1 -> CTLSyntax.af default_relation f1
......
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