/[svn]/driver/run.ml
ViewVC logotype

Diff of /driver/run.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 373 by abate, Tue Jul 10 17:28:55 2007 UTC revision 374 by abate, Tue Jul 10 17:29:46 2007 UTC
# Line 1  Line 1 
1    open Ident
2    
3  let () = State.close ();;  let () = State.close ();;
4    
5  let dump = ref None  let dump = ref None
# Line 61  Line 63 
63           let l = List.rev_map Value.string_latin1 !args in           let l = List.rev_map Value.string_latin1 !args in
64           let l = Value.sequence l in           let l = Value.sequence l in
65           let t = Sequence.star Sequence.string in           let t = Sequence.star Sequence.string in
66           Cduce.enter_global_value "argv" l t           Cduce.enter_global_value (ident (U.mk "argv")) l t
67    );    );
68    (match !src with    (match !src with
69       | [] ->       | [] ->
Legend:
Removed from v.373  
changed lines
  Added in v.374
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5