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
verimag
synchrone
lustre-v6
Commits
07ac0744
Commit
07ac0744
authored
Jul 13, 2021
by
erwan
Browse files
build: remove (useless) reference to Stdlib in mli too!
parent
604a16bf
Changes
1
Hide whitespace changes
Inline
Side-by-side
lib/lv6MainArgs.mli
View file @
07ac0744
(* Time-stamp: <modified the
05
/07/2021 (at 1
0:29
) by Erwan Jahier> *)
(* Time-stamp: <modified the
13
/07/2021 (at 1
1:44
) by Erwan Jahier> *)
type
enum_mode
=
AsInt
(* translate enums into int (for rif-friendlyness *)
...
...
@@ -38,7 +38,7 @@ type t = {
mutable
expand_arrays
:
bool
;
mutable
expand_io_type
:
bool
;
mutable
optim_ite
:
bool
;
mutable
oc
:
Stdlib
.
out_channel
;
mutable
oc
:
out_channel
;
mutable
tlex
:
bool
;
mutable
exec
:
bool
;
mutable
gen_c
:
bool
;
...
...
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