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
a61bd87a
Commit
a61bd87a
authored
Aug 19, 2015
by
Andrei Paskevich
Browse files
Pdecl: small fix
parent
eafec71c
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/mlw/pdecl.ml
View file @
a61bd87a
...
...
@@ -299,6 +299,7 @@ let mk_decl = let r = ref 0 in fun node pure ->
pd_tag
=
(
incr
r
;
!
r
)
}
let
create_type_decl
dl
=
if
dl
=
[]
then
invalid_arg
"Pdecl.create_type_decl"
;
let
add_itd
({
itd_its
=
s
}
as
itd
)
(
abst
,
defn
,
rest
)
=
match
itd
.
itd_fields
,
itd
.
itd_constructors
with
|
[]
,
[]
when
s
.
its_def
<>
None
->
...
...
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