Project

General

Profile

Revision d2d9d4cb src/optimize_machine.ml

View differences:

src/optimize_machine.ml
61 61

  
62 62
(* 8th Jan 2016: issues when merging salsa with horn_encoding: The following
63 63
   functions seem unsused. They have to be adapted to the new type for expr
64

  
64
*)
65 65

  
66 66
let unfold_expr_offset m offset expr =
67 67
  List.fold_left

Also available in: Unified diff