Project

General

Profile

Revision 8446bf03 src/pathConditions.ml

View differences:

src/pathConditions.ml
1
open LustreSpec 
1
open Lustre_types 
2 2
open Corelang
3 3
open Log
4 4
open Format
......
91 91
  (*   Printers.pp_expr expr (\*v*\) *)
92 92
  (*   Printers.pp_expr expr_neg_vi) *)
93 93
    
94
let rec compute_neg_expr cpt_pre (expr: LustreSpec.expr) =
94
let rec compute_neg_expr cpt_pre (expr: Lustre_types.expr) =
95 95
  let neg_list l = 
96 96
    List.fold_right (fun e (vl,el) -> let vl', e' = compute_neg_expr cpt_pre e in (vl'@vl), e'::el) l ([], [])
97 97
  in

Also available in: Unified diff