Commit 2cf9906f authored by Andrei Paskevich's avatar Andrei Paskevich

Doc: update for changes in Env

parent a970cf4d
......@@ -296,7 +296,7 @@ let two : Term.term =
let four : Term.term =
Term.t_const (Number.ConstInt (Number.int_const_dec "4"))
let int_theory : Theory.theory =
Env.find_theory env ["int"] "Int"
Env.read_theory env ["int"] "Int"
let plus_symbol : Term.lsymbol =
Theory.ns_find_ls int_theory.Theory.th_export ["infix +"]
let two_plus_two : Term.term =
......
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