Skip to content
GitLab
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
0e11d754
Commit
0e11d754
authored
Oct 11, 2022
by
Kim Nguyễn
Browse files
Fix a wrongly moved variable declaration.
parent
dfe6aa6c
Changes
1
Hide whitespace changes
Inline
Side-by-side
types/types.ml
View file @
0e11d754
...
...
@@ -3,6 +3,8 @@ let std_compare = compare
open
Ident
module
U
=
Encodings
.
Utf8
let
count
=
ref
0
let
()
=
Stats
.
register
Stats
.
Summary
(
fun
ppf
->
Format
.
fprintf
ppf
"Allocated type nodes:%i@
\n
"
!
count
)
...
...
@@ -287,7 +289,6 @@ type descr = Descr.t
type
node
=
Node
.
t
let
forward_print
=
ref
(
fun
_
_
->
assert
false
)
let
count
=
ref
~-
1
let
make
()
=
incr
count
;
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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