Skip to content

Commit 1927fb2

Browse files
author
Daniel Kroening
committed
remove bitvector and bitvector_u rules
1 parent 709b45f commit 1927fb2

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

src/ansi-c/scanner.l

-2
Original file line numberDiff line numberDiff line change
@@ -206,8 +206,6 @@ gcc_ext_float_suffix [wWqQ]|[dD][fFdDlL]?|"f16"|"f32"|"f64"|"f128"|"f32x"|"f6
206206
float {float1}|{float2}|{float3}|{hexfloat1}|{hexfloat2}|{hexfloat3}
207207
float_s {float}{float_suffix}|{integer}[fF]
208208
gcc_ext_float_s {float}{gcc_ext_float_suffix}
209-
bitvector {binary}[bB]
210-
bitvector_u {binary}([uU][bB]|[bB][uU])
211209
cppstart {ws}"#"{ws}
212210
cpplineno {cppstart}"line"*{ws}{integer}{ws}.*{newline}
213211
cppdirective {cppstart}.*

0 commit comments

Comments
 (0)