Commit 18b84207 authored by Andrei Paskevich's avatar Andrei Paskevich

comment offending lines in examples/wf_types.why

parent 14ea2cc6
......@@ -9,7 +9,9 @@ theory Main
type shell 'a = Shell 'a
type option 'a = Some 'a | None
(*
clone Test as T1 with type t = id
clone Test as T2 with type t = shell
*)
clone Test as T3 with type t = option
end
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