[Nice-commit] Nice/src/mlsub/typing/lowlevel K0.java,1.14,1.15
Brought to you by:
bonniot
|
From: <bo...@us...> - 2003-04-05 11:13:22
|
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) {
|