one more word in German corrected

2008-11-07 16:24:00 +00:00
parent e9d3b508ae
commit 967c4b5f65
2 changed files with 3 additions and 4 deletions
@@ -513,7 +513,6 @@ mkV2 : overload {
    mkV2 : V -> V2 = dirV2 ;
    mkV2 : V -> Prep -> V2 = prepV2;
    mkV2 : V -> Case -> V2 = \v,c -> prepV2 v (mkPrep [] c)
-    };
+    } ;

-
-} ;
+}