merged 1.1 branch into head
[mir.git] / source / mir / util / GeneratorFormatAdapters.java
index becea34..7c7f5a3 100755 (executable)
@@ -72,7 +72,7 @@ public class GeneratorFormatAdapters {
         catch (Throwable t) {
           throw new GeneratorFailure("NumberFormattingFunction: " + t.getMessage(), t);
         }
-      };
+      }
     }
   }
 
@@ -149,7 +149,7 @@ public class GeneratorFormatAdapters {
         catch (Throwable t) {
           throw new GeneratorFailure("DateFormattingFunction: " + t.getMessage(), t);
         }
-      };
+      }
     }
 
     /**