diff options
| author | aarne <aarne@chalmers.se> | 2014-09-26 14:48:09 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2014-09-26 14:48:09 +0000 |
| commit | ca1cad68d07b31c3b6f351205e3b75e75bd33b58 (patch) | |
| tree | dd697326a2e4c5eb6ed657b716a35b7bb32633da /examples/app/AppEng.gf | |
| parent | 7036d56d29798f6fb78c62b2c4bbbbcc677b1982 (diff) | |
command for AppEngFin
Diffstat (limited to 'examples/app/AppEng.gf')
| -rw-r--r-- | examples/app/AppEng.gf | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/examples/app/AppEng.gf b/examples/app/AppEng.gf index 91253a6f9..e08a20185 100644 --- a/examples/app/AppEng.gf +++ b/examples/app/AppEng.gf @@ -42,11 +42,4 @@ lin ComplV2S v np vp = mkVP v np vp ; ComplV3 v np vp = mkVP v np vp ; - -ComplV2V v np vp = mkVP v np vp ; -ComplV2A v np vp = mkVP v np vp ; -ComplV2Q v np vp = mkVP v np vp ; -ComplV2S v np vp = mkVP v np vp ; -ComplV3 v np vp = mkVP v np vp ; - } |