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
cduce
cduce
Commits
65eb3d39
Commit
65eb3d39
authored
Jul 10, 2007
by
Pietro Abate
Browse files
[r2004-05-16 13:00:13 by jdemouth] Desole pour l'oubli
Original author: jdemouth Date: 2004-05-16 13:00:13+00:00
parent
9dd6f30e
Changes
1
Hide whitespace changes
Inline
Side-by-side
driver/cduce.ml
View file @
65eb3d39
...
...
@@ -292,7 +292,7 @@ ifdef ML_INTERFACE then
Ml_checker
.
run
ml_cu
cd_cu
;
let
out
=
open_out
(
Filename
.
concat
out_dir
(
cu
^
".ml"
)
)
in
let
fmt
=
Format
.
formatter_of_out_channel
out
in
Ml_generator
.
ML
.
generate
fmt
ml_cu
cd_cu
;
Ml_generator
.
ML
.
generate
fmt
cu
ml_cu
cd_cu
;
close_out
out
;
with
Not_found
->
(
let
name
=
fnam
^
".mli"
in
...
...
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