| commit | 5a0c056a7c0204e5c1afcfcbea59befe0c4fb4a7 | [log] [tgz] |
|---|---|---|
| author | assar <assar> | Mon Jun 26 21:27:17 2000 +0000 |
| committer | assar <assar> | Mon Jun 26 21:27:17 2000 +0000 |
| tree | 28938d6528d0ceb329f90b1d9113f626499fad25 | |
| parent | 2b1907d4d8025da2757c9249519605c8f7c63acd [diff] |
better and more careful check for smi. From Juergen Schoenwaelder <schoenw@ibr.cs.tu-bs.de>