[Nice-commit] Nice/src/mlsub/typing/lowlevel Engine.java,1.35,1.36

[Daniel B. <bo...@us...>]

Update of /cvsroot/nice/Nice/src/mlsub/typing/lowlevel
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv28883/src/mlsub/typing/lowlevel

Modified Files:
	Engine.java 
Log Message:
Whitespace cleanup.


Index: Engine.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/mlsub/typing/lowlevel/Engine.java,v
retrieving revision 1.35
retrieving revision 1.36
diff -C2 -d -r1.35 -r1.36
*** Engine.java	16 Feb 2005 22:34:49 -0000	1.35
--- Engine.java	6 Apr 2005 20:38:39 -0000	1.36
***************
*** 21,25 ****
  /**
   * Public interface to the lowlevel constraint implication checker.
!  * 
   * All accesses are done through this Engine.
   *
--- 21,25 ----
  /**
   * Public interface to the lowlevel constraint implication checker.
!  *
   * All accesses are done through this Engine.
[...963 lines suppressed...]
      public void initialAbstracts(int x, int iid)
      {
        k0.initialAbstracts(x,iid);
      }
! 
      public void indexImplements(int x, int iid) throws Unsatisfiable
      {
***************
*** 1092,1096 ****
      }
    }
!   
    public static boolean dbg = bossa.util.Debug.engine;
  }
--- 1092,1096 ----
      }
    }
! 
    public static boolean dbg = bossa.util.Debug.engine;
  }