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
5bdee9c5
Commit
5bdee9c5
authored
Jul 10, 2007
by
Pietro Abate
Browse files
[r2005-03-22 17:30:40 by afrisch] Empty log message
Original author: afrisch Date: 2005-03-22 17:30:40+00:00
parent
5c62546e
Changes
1
Hide whitespace changes
Inline
Side-by-side
runtime/serial.ml
View file @
5bdee9c5
...
...
@@ -7,7 +7,7 @@ module P = struct
let
init
()
=
pms
:=
[]
;
nb_pms
:=
(
-
1
)
let
mk
()
=
let
pms
=
Array
.
of_list
!
pms
in
let
pms
=
Array
.
of_list
(
List
.
rev
!
pms
)
in
Serialize
.
Put
.
run
T
.
serialize
pms
let
pm
t
=
pms
:=
t
::!
pms
;
incr
nb_pms
;
!
nb_pms
...
...
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