Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
8412f5af
Commit
8412f5af
authored
Aug 19, 2015
by
Andrei Paskevich
Browse files
Theory: fix
parent
aa81c9f0
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/core/theory.ml
View file @
8412f5af
...
...
@@ -704,14 +704,19 @@ let clone_export uc th inst =
let
f_ts
p
ts
=
if
Mid
.
mem
ts
.
ts_name
th
.
th_local
then
if
Mts
.
mem
ts
inst
.
inst_ts
then
None
else
if
Mts
.
mem
ts
inst
.
inst_ty
then
None
else
try
let
ts
=
Mts
.
find
ts
cl
.
ts_table
in
store_path
uc
p
ts
.
ts_name
;
Some
ts
with
Not_found
->
None
else
Some
ts
in
let
f_ls
p
ls
=
if
Mid
.
mem
ls
.
ls_name
th
.
th_local
then
if
Mls
.
mem
ls
inst
.
inst_ls
then
None
else
try
let
ls
=
Mls
.
find
ls
cl
.
ls_table
in
store_path
uc
p
ls
.
ls_name
;
Some
ls
with
Not_found
->
None
else
Some
ls
in
let
f_pr
p
pr
=
if
Mid
.
mem
pr
.
pr_name
th
.
th_local
then
try
let
pr
=
Mpr
.
find
pr
cl
.
pr_table
in
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment