Javadoc fixes

bThink-BGU · Feb 6, 2019 · a00d1c5 · a00d1c5
1 parent 5cfc208
commit a00d1c5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/src/main/java/il/ac/bgu/cs/bp/bpjs/analysis/DfsBProgramVerifier.java b/src/main/java/il/ac/bgu/cs/bp/bpjs/analysis/DfsBProgramVerifier.java
@@ -55,8 +55,7 @@ public class DfsBProgramVerifier {
     public final static long DEFAULT_MAX_TRACE = 1000;
 
     /**
-     * Default number of iterations between invocation of
-     * {@link ProgressListener#iterationCount(long, long, il.ac.bgu.cs.bp.bpjs.verification.DfsBProgramVerifier)}.
+     * Default number of iterations between invoking the progress listeners.
      */
     public final static long DEFAULT_ITERATION_COUNT_GAP = 1000;
 

diff --git a/src/main/java/il/ac/bgu/cs/bp/bpjs/model/eventselection/EventSelectionStrategy.java b/src/main/java/il/ac/bgu/cs/bp/bpjs/model/eventselection/EventSelectionStrategy.java
@@ -2,8 +2,8 @@
 
 import il.ac.bgu.cs.bp.bpjs.model.SyncStatement;
 import il.ac.bgu.cs.bp.bpjs.model.BEvent;
+import il.ac.bgu.cs.bp.bpjs.model.BProgram;
 import il.ac.bgu.cs.bp.bpjs.model.BProgramSyncSnapshot;
-import java.util.List;
 import java.util.Optional;
 import java.util.Set;