Sign in
android
/
platform
/
tools
/
idea
/
9b5d02ac8c92b1e71523cc15cb3d168d57fbd898
/
.
/
plugins
/
xpath
/
xpath-lang
/
testData
/
xpath2
/
highlighting
/
types
/
numericDivDuration.xpath2
blob: 8462b58eca5e7582707a2f987003b946c4033ae1 [
file
] [
log
] [
blame
]
4
div
<
error descr
=
"Expected type 'xs:numeric', got 'xs:dayTimeDuration'"
>
'P0DTOH'
cast
as
xs
:
dayTimeDuration
</
error
>
