revert unrelated changes

opprop · Mar 27, 2020 · 3279870 · 3279870
1 parent 4ce6043
commit 3279870
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 22 deletions.
diff --git a/default.jaif b/default.jaif
diff --git a/src/checkers/inference/InferenceTypeHierarchy.java b/src/checkers/inference/InferenceTypeHierarchy.java
@@ -9,9 +9,10 @@
 import org.checkerframework.framework.type.SubtypeVisitHistory;
 import org.checkerframework.javacutil.BugInCF;
 
+import javax.lang.model.element.AnnotationMirror;
+
 import checkers.inference.model.Slot;
 
-import javax.lang.model.element.AnnotationMirror;
 
 /**
  *  The InferenceTypeHierarchy along with the InferenceQualifierHierarchy is responsible for
@@ -27,6 +28,7 @@ public class InferenceTypeHierarchy extends DefaultTypeHierarchy {
     private final AnnotationMirror varAnnot;
     // TODO: Think this through, add any missing constraints
 
+
     /**
      * Constructs an instance of {@code TypeHierarchy} for the type system
      * whose qualifiers represented in qualifierHierarchy.