Commit fdedac4c authored by Christian Müller's avatar Christian Müller

fix causal examples

parent 7541cf42
......@@ -15,7 +15,7 @@ O(x): True
Target
T(a1:T4, a2:T3)
U(a1:T4, a2:T3)
Causality
......
......@@ -19,7 +19,7 @@ O(x): True
Target
T(a1:T5, a2:T5)
W(a1:T6, a2:T5)
Causality
......
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