adding missing imports.

njit-jerse · Nov 15, 2023 · 70e3b75 · 70e3b75
1 parent d52e8b0
commit 70e3b75
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git a/src/main/java/org/checkerframework/specimin/UnsolvedSymbolVisitor.java b/src/main/java/org/checkerframework/specimin/UnsolvedSymbolVisitor.java
@@ -28,6 +28,7 @@
 import com.github.javaparser.ast.type.PrimitiveType;
 import com.github.javaparser.ast.type.ReferenceType;
 import com.github.javaparser.ast.type.Type;
+import com.github.javaparser.ast.type.UnionType;
 import com.github.javaparser.ast.visitor.ModifierVisitor;
 import com.github.javaparser.ast.visitor.Visitable;
 import com.github.javaparser.resolution.UnsolvedSymbolException;

diff --git a/src/test/java/org/checkerframework/specimin/Issue_38Test.java b/src/test/java/org/checkerframework/specimin/Issue_38Test.java
@@ -3,9 +3,7 @@
 import java.io.IOException;
 import org.junit.Test;
 
-/**
- * This test checks if Specimin will work for array types
- */
+/** This test checks if Specimin will work for Union types */
 public class Issue_38Test {
   @Test
   public void runTest() throws IOException {
@@ -14,4 +12,4 @@ public void runTest() throws IOException {
         new String[] {"com/example/Issue_38.java"},
         new String[] {"com.example.Issue_38#test()"});
   }
-}
+}