Parent Directory
| 
Revision Log
| 
Patch
| revision 1096 by abate, Tue Jul 10 18:20:21 2007 UTC | revision 1097 by abate, Tue Jul 10 18:22:27 2007 UTC | |
|---|---|---|
| # | Line 3 | Line 3 |
| 3 | (** Command line **) | (** Command line **) |
| 4 | ||
| 5 | let input = | let input = |
| 6 | match argv with | match argv [] with |
| 7 | | [ s ] -> s | | [ s ] -> s |
| 8 | | _ -> raise "Please use --arg to specify an input file on the command line" | | _ -> raise "Please use --arg to specify an input file on the command line" |
| 9 |
|
||||||||
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |