Skip to content
GitLab
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
c854f2d9
Commit
c854f2d9
authored
May 08, 2012
by
Jean-Christophe Filliâtre
Browse files
fixed bug #14190
parent
016edab9
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/programs/pgm_typing.ml
View file @
c854f2d9
...
...
@@ -2188,9 +2188,11 @@ let add_types uc dl =
|
Ty
.
Tyapp
(
ts
,
tyl
)
->
let
y
=
ts
.
ts_name
.
id_string
in
let
n
=
(**
if Mstr.mem y def then begin
visit y; of_option (Hashtbl.find nregions y)
end else
**)
(
get_mtsymbol
ts
)
.
mt_regions
in
let
rl
=
regions_tyapp
ts
n
tyl
in
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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