Commit 34750e91 authored by Philipp Meyer's avatar Philipp Meyer
Browse files

Renamed terminating option to termination

parent c892a4e3
......@@ -116,7 +116,7 @@ options =
}))
"Prove termination by reducing it to reachability"
, Option "" ["terminating"]
, Option "" ["termination"]
(NoArg (\opt -> Right opt {
optProperties = Termination : optProperties opt
}))
......
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