exception typing

Kirill Golubev · Kirill Golubev · commit 9c16543d8487 · 2022-11-28T04:32:07.000+03:00
diff --git a/liquidjava-umbrella/liquidjava-verifier/src/main/java/liquidjava/rj_language/visitors/ExpressionVisitor.java b/liquidjava-umbrella/liquidjava-verifier/src/main/java/liquidjava/rj_language/visitors/ExpressionVisitor.java
@@ -17,7 +17,7 @@ public interface ExpressionVisitor {
 
     void visitLiteralInt(LiteralInt li);
 
-    void visitLiteralReal(LiteralReal lr);
+    void visitLiteralReal(LiteralReal lr) throws Exception;
 
     void visitLiteralString(LiteralString ls);
 
