From 55e2a4c9cb77d8e205b5bfb7b53419c3c509af85 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Tue, 21 Jul 2015 13:01:29 +0000
Subject: added PassV2 to App; PassVPSlash did not work as VPSlash was disabled
 for speed reasons

---
 examples/app/MkApp.hs | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

(limited to 'examples/app/MkApp.hs')

diff --git a/examples/app/MkApp.hs b/examples/app/MkApp.hs
index 47d336064..e1a655c22 100644
--- a/examples/app/MkApp.hs
+++ b/examples/app/MkApp.hs
@@ -22,10 +22,6 @@ putImports i s =
 
 extra s = unlines (init (lines s) ++ extraLines ++ ["}"])
 
-extraLines = -- [] -- default: no extra
-
-  [
-  "",
-  "ComplV2 v np = mkVP v np ;",
-  ""
-  ]
\ No newline at end of file
+extraLines = [
+  "  PassV2 v2 = passiveVP v2 ;"
+  ] -- default: no extra
-- 
cgit v1.2.3