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

Diff of /driver/cduce.ml

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

revision 110 by abate, Tue Jul 10 17:07:14 2007 UTC revision 111 by abate, Tue Jul 10 17:07:18 2007 UTC
# Line 6  Line 6 
6    
7  let print_norm ppf d =  let print_norm ppf d =
8    Location.protect ppf    Location.protect ppf
9      (fun ppf -> Types.Print.print_descr ppf (Types.normalize d))      (fun ppf -> Types.Print.print_descr ppf ((*Types.normalize*) d))
10    
11  let print_value ppf v =  let print_value ppf v =
12    Location.protect ppf (fun ppf -> Value.print ppf v)    Location.protect ppf (fun ppf -> Value.print ppf v)

Legend:
Removed from v.110  
changed lines
  Added in v.111

CVS Admin">CVS Admin
ViewVC Help
Powered by ViewVC 1.1.5