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
c1dbea39
Commit
c1dbea39
authored
Jul 10, 2007
by
Pietro Abate
Browse files
[r2005-06-02 20:39:11 by afrisch] Empty log message
Original author: afrisch Date: 2005-06-02 20:39:11+00:00
parent
2357beb6
Changes
1
Hide whitespace changes
Inline
Side-by-side
typing/typepat.ml
View file @
c1dbea39
...
...
@@ -706,5 +706,8 @@ open Ident
let
get_ct
c
=
match
c
.
desc
with
|
ITimes
({
desc
=
IType
(
t
,_
)
}
,
content
)
->
(
t
,
content
)
|
ITimes
(
k
,
content
)
->
(
match
(
repr
k
)
.
desc
with
|
IType
(
t
,_
)
->
(
t
,
content
)
|
_
->
assert
false
)
|
_
->
assert
false
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