X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=report%2Fsrc%2Fpizza.ail;h=55370f4903272c7be3da0fd85b67506ed73ceb92;hb=HEAD;hp=39188c4824b5075cdf31c9a5cb226cd76472eb5f;hpb=2d2fd306719e2d9a9db2214a473cc779137ce2c9;p=ker2014-2.git

diff --git a/report/src/pizza.ail b/report/src/pizza.ail
index 39188c4..55370f4 100644
--- a/report/src/pizza.ail
+++ b/report/src/pizza.ail
@@ -66,3 +66,10 @@ p_pepperoni <- salami & jalapenos.
 
 %% Oliva
 p_oliva <- basilicum & olives.
+
+whatpizza <- p_oliva.
+whatpizza <- p_pepperoni.
+whatpizza <- p_funghi.
+whatpizza <- p_salami.
+whatpizza <- p_hawaii.
+whatpizza <- p_margarita.