Commit 2ca226c7 authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

Eliminate_algrebraic: Pervasives.or is deprecated

parent 0f7e207c
......@@ -304,7 +304,7 @@ let add_projections (state,task) _ts _ty csl =
{ state with pj_map = pjmap }, task
let add_inversion (state,task) ts ty csl =
if state.keep_t or state.no_inv then state, task else
if state.keep_t || state.no_inv then state, task else
(* add the inversion axiom *)
let ax_id = ts.ts_name.id_string ^ "_inversion" in
let ax_pr = create_prsymbol (id_derive ax_id ts.ts_name) in
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment