exception typing

Kirill Golubev · Kirill Golubev · commit a58588e23517 · 2022-11-28T04:32:28.000+03:00
diff --git a/liquidjava-umbrella/liquidjava-verifier/src/main/java/liquidjava/rj_language/visitors/AbstractExpressionVisitor.java b/liquidjava-umbrella/liquidjava-verifier/src/main/java/liquidjava/rj_language/visitors/AbstractExpressionVisitor.java
@@ -44,7 +44,7 @@ public void visitLiteralInt(LiteralInt li) {
     }
 
     @Override
-    public void visitLiteralReal(LiteralReal lr) {
+    public void visitLiteralReal(LiteralReal lr) throws Exception {
     }
 
     @Override

Original file line number	Diff line number	Diff line change
`@@ -44,7 +44,7 @@ public void visitLiteralInt(LiteralInt li) {`
`44`	`44`	`}`
`45`	`45`
`46`	`46`	`@Override`
`47`		`- public void visitLiteralReal(LiteralReal lr) {`
	`47`	`+ public void visitLiteralReal(LiteralReal lr) throws Exception {`
`48`	`48`	`}`
`49`	`49`
`50`	`50`	`@Override`