[Nice-commit] Nice/src/mlsub/typing/lowlevel K0.java,1.14,1.15

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

Update of /cvsroot/nice/Nice/src/mlsub/typing/lowlevel
In directory sc8-pr-cvs1:/tmp/cvs-serv29714/src/mlsub/typing/lowlevel

Modified Files:
	K0.java 
Log Message:
Typo.


Index: K0.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/mlsub/typing/lowlevel/K0.java,v
retrieving revision 1.14
retrieving revision 1.15
diff -C2 -d -r1.14 -r1.15
*** K0.java	28 Jan 2003 10:21:27 -0000	1.14
--- K0.java	5 Apr 2003 11:13:18 -0000	1.15
***************
*** 519,523 ****
    /**
     * Enter the initial assertion that x :: iid
!    * This means that no node strictly x may implement iid
     **/
    public void initialAbstracts(int x, int iid) {
--- 519,523 ----
    /**
     * Enter the initial assertion that x :: iid
!    * This means that no node strictly lesser than x may implement iid
     **/
    public void initialAbstracts(int x, int iid) {