From 1927fb28b5c86e90cfef5e154c555e7994c22e12 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <kroening@cs.ox.ac.uk>
Date: Sat, 28 Jul 2018 13:59:18 +0100
Subject: [PATCH] remove bitvector and bitvector_u rules

---
 src/ansi-c/scanner.l | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/ansi-c/scanner.l b/src/ansi-c/scanner.l
index 031d64365ab..d948e62432f 100644
--- a/src/ansi-c/scanner.l
+++ b/src/ansi-c/scanner.l
@@ -206,8 +206,6 @@ gcc_ext_float_suffix    [wWqQ]|[dD][fFdDlL]?|"f16"|"f32"|"f64"|"f128"|"f32x"|"f6
 float           {float1}|{float2}|{float3}|{hexfloat1}|{hexfloat2}|{hexfloat3}
 float_s         {float}{float_suffix}|{integer}[fF]
 gcc_ext_float_s {float}{gcc_ext_float_suffix}
-bitvector       {binary}[bB]
-bitvector_u     {binary}([uU][bB]|[bB][uU])
 cppstart        {ws}"#"{ws}
 cpplineno       {cppstart}"line"*{ws}{integer}{ws}.*{newline}
 cppdirective    {cppstart}.*