Verified Commit 85d26efb authored by Camil Staps's avatar Camil Staps 🚀

Fix with_options example for new exposeProperties type

parent 4d8aeac2
......@@ -22,7 +22,7 @@ import qualified Data.Set as S
import Gast
import Gast.CommandLine
Start w = exposeProperties [OutputTestEvents]
Start w = exposeProperties [OutputTestEvents] []
[ EP membership
, EP conversion_invariant
, EP length_correct
......
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