diff options
| author | aarne <aarne@chalmers.se> | 2015-07-21 13:01:29 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2015-07-21 13:01:29 +0000 |
| commit | 55e2a4c9cb77d8e205b5bfb7b53419c3c509af85 (patch) | |
| tree | 35fa902002b7b89838d8c9d91036fd1bf14b8238 /examples/app/MkApp.hs | |
| parent | db23eec58eb948e56da9b332eb682f100bc22edb (diff) | |
added PassV2 to App; PassVPSlash did not work as VPSlash was disabled for speed reasons
Diffstat (limited to 'examples/app/MkApp.hs')
| -rw-r--r-- | examples/app/MkApp.hs | 10 |
1 files changed, 3 insertions, 7 deletions
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 |