[Nice-commit] Nice/src/mlsub/typing/lowlevel Engine.java,1.31,1.32

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

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

Modified Files:
	Engine.java 
Log Message:
No need to reset the existentialLevel upon exit, it is now guaranteed that
an enter/leave occurs around existential mode.


Index: Engine.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/mlsub/typing/lowlevel/Engine.java,v
retrieving revision 1.31
retrieving revision 1.32
diff -C2 -d -r1.31 -r1.32
*** Engine.java	23 Mar 2004 20:28:43 -0000	1.31
--- Engine.java	26 Mar 2004 10:48:38 -0000	1.32
***************
*** 185,189 ****
        we know when to exit from it.
    */
!   public static int existentialLevel = 0;
  
    public static void startSimplify()
--- 185,189 ----
        we know when to exit from it.
    */
!   private static int existentialLevel = 0;
  
    public static void startSimplify()