Project

General

Profile

« Previous | Next » 

Revision ea758c12

Added by Pierre-Loïc Garoche about 2 years ago

Commenting out unused variables

View differences:

src/tools/seal/seal_extract.ml
1117 1117
           
1118 1118
      in
1119 1119
      check_dup_up [] sw_sys;
1120
      let sw_sys =
1120
      let _ (* sw_sys *) =
1121 1121
        List.sort (fun (gl1, _) (gl2, _) ->
1122 1122
            let glid gl = List.map (fun (e,_) -> e.expr_tag) gl in
1123 1123
            

Also available in: Unified diff