error message typo

svn: r4295
This commit is contained in:
Eli Barzilay 2006-09-10 16:36:43 +00:00
parent 42f35ba39f
commit 412a8b8cb3

View File

@ -1070,7 +1070,7 @@
(make-ctype _pointer TAG-ptr
(lambda (x)
(error
'_cvector
'_TAG
"cannot automatically convert a C pointer to a ~a"
TAGname))))
(define-fun-syntax _TAG