aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/verilog/lexer.l
diff options
context:
space:
mode:
authorAhmed Irfan <ahmedirfan1983@gmail.com>2014-01-03 10:54:54 +0100
committerAhmed Irfan <ahmedirfan1983@gmail.com>2014-01-03 10:54:54 +0100
commit06482c046bcab4e2b9603f8954ce0f2fd501a73b (patch)
treed160ad05402768e4f468ff0685593b81658e6a5a /frontends/verilog/lexer.l
parent5da334fc2efd66c8a5efde925bb18212c34d0cef (diff)
parentfb2bf934dc6d2c969906b350c9a1b09a972bfdd7 (diff)
downloadyosys-06482c046bcab4e2b9603f8954ce0f2fd501a73b.tar.gz
yosys-06482c046bcab4e2b9603f8954ce0f2fd501a73b.tar.bz2
yosys-06482c046bcab4e2b9603f8954ce0f2fd501a73b.zip
Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor
Diffstat (limited to 'frontends/verilog/lexer.l')
-rw-r--r--frontends/verilog/lexer.l4
1 files changed, 2 insertions, 2 deletions
diff --git a/frontends/verilog/lexer.l b/frontends/verilog/lexer.l
index a0deb755b..9e606d90f 100644
--- a/frontends/verilog/lexer.l
+++ b/frontends/verilog/lexer.l
@@ -232,8 +232,8 @@ supply1 { return TOK_SUPPLY1; }
"<=" { return OP_LE; }
">=" { return OP_GE; }
-"===" { return OP_EQ; }
-"!==" { return OP_NE; }
+"===" { return OP_EQX; }
+"!==" { return OP_NEX; }
"~&" { return OP_NAND; }
"~|" { return OP_NOR; }