Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
929db309
Commit
929db309
authored
Apr 05, 2017
by
MARCHE Claude
Browse files
Remove a few compilation warnings
parent
8bf94dcd
Changes
2
Hide whitespace changes
Inline
Side-by-side
plugins/python/py_main.ml
View file @
929db309
...
...
@@ -349,7 +349,7 @@ let read_channel env path file c =
Debug
.
dprintf
debug
"%s parsed successfully.@."
file
;
let
file
=
Filename
.
basename
file
in
let
file
=
Filename
.
chop_extension
file
in
let
name
=
String
.
capitalize
file
in
let
name
=
String
s
.
capitalize
file
in
Debug
.
dprintf
debug
"building module %s.@."
name
;
let
inc
=
Mlw_typing
.
open_file
env
path
in
let
loc
=
Why3
.
Loc
.
user_position
file
0
0
0
in
...
...
src/session/session.ml
View file @
929db309
...
...
@@ -71,8 +71,10 @@ module Pos = struct
end
module
Mpos
=
Extmap
.
Make
(
Pos
)
(*
module Spos = Extset.MakeOfMap(Mpos)
module Hpos = Exthtbl.Make(Pos)
*)
type
meta_args
=
meta_arg
list
...
...
Write
Preview
Markdown
is supported
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