1.1 --- a/src/java/isac/util/interfaces/ICalcIterator.java	Mon Jun 27 15:01:06 2005 +0200
     1.2 +++ b/src/java/isac/util/interfaces/ICalcIterator.java	Mon Jun 27 15:01:06 2005 +0200
     1.3 @@ -3,9 +3,7 @@
     1.4   */
     1.5  package isac.util.interfaces;
     1.6  
     1.7 -import isac.util.NotInSpecificationPhaseException;
     1.8  import isac.util.formulae.Assumptions;
     1.9 -import isac.util.formulae.CalcHead;
    1.10  import isac.util.formulae.KEStoreID;
    1.11  import isac.util.formulae.Match;
    1.12  import isac.util.formulae.Position;