Rename Test Class

rcosta358 · rcosta358 · commit 51024ef46ad3 · 2026-04-01T13:54:23.000+01:00
diff --git a/liquidjava-verifier/src/test/java/liquidjava/rj_language/ast/ExpressionFormatterTest.java b/liquidjava-verifier/src/test/java/liquidjava/rj_language/ast/ExpressionFormatterTest.java
@@ -1,13 +1,9 @@
 package liquidjava.rj_language.ast;
 
 import static org.junit.jupiter.api.Assertions.assertEquals;
-import static org.junit.jupiter.api.Assertions.assertTrue;
-
-import liquidjava.rj_language.opt.derivation_node.ValDerivationNode;
-import liquidjava.rj_language.opt.derivation_node.VarDerivationNode;
 import org.junit.jupiter.api.Test;
 
-class ExpressionPrinterTest {
+class ExpressionFormatterTest {
 
     @Test
     void printsUnaryWithoutExtraParenthesesForAtoms() {
