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
4a020d87
Commit
4a020d87
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2005-07-05 15:46:03 by afrisch] Empty log message
Original author: afrisch Date: 2005-07-05 15:46:03+00:00
parent
a05e7ec2
Changes
1
Hide whitespace changes
Inline
Side-by-side
types/compunit.ml
View file @
4a020d87
...
...
@@ -43,6 +43,6 @@ let register c s =
"Collision on descriptors for CDuce units: %s and %s"
(
Hashtbl
.
find
ctbl
c
)
s
);
Printf
.
eprintf
"Register %s
\n
"
s
;
(*
Printf.eprintf "Register %s\n" s;
*)
Hashtbl
.
add
ctbl
c
s
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