bug fix in Shell commands at, wt

2005-12-06 11:46:35 +00:00
parent 15b833a3bf
commit 3321bb3ed1
6 changed files with 29 additions and 16 deletions
--- a/resource-1.0/abstract/Basic.gf
+++ b/resource-1.0/abstract/Basic.gf
@@ -215,9 +215,4 @@ abstract Basic = Cat ** {
  stop_V : V ;
  jump_V : V ;

-  here7to_Adv : Adv ;
-  here7from_Adv : Adv ;
-  there_Adv : Adv ;
-  there7to_Adv : Adv ;
-  there7from_Adv : Adv ;
 }