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
pub
frama-c
Commits
aef1c96f
Commit
aef1c96f
authored
Dec 13, 2019
by
Julien Signoles
Browse files
[e-acsl:archi] lint, again
parent
2c37d82b
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/plugins/e-acsl/src/code_generator/constructor.ml
View file @
aef1c96f
...
@@ -129,7 +129,7 @@ let mk_named_store_stmt name ?str_size vi =
...
@@ -129,7 +129,7 @@ let mk_named_store_stmt name ?str_size vi =
|
_
,
Some
size
->
|
_
,
Some
size
->
Options
.
fatal
Options
.
fatal
"unexpected types for arguments of function '%s': \
"unexpected types for arguments of function '%s': \
%s got type %a, while representing a memory block of %a bytes"
%s got type %a, while representing a memory block of %a bytes"
name
name
vi
.
vname
vi
.
vname
Printer
.
pp_typ
ty
Printer
.
pp_typ
ty
...
...
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