From bca5d265833c29c3b71246ab24a84f085d3b6de7 Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Fri, 10 Feb 2012 22:36:19 -0500
Subject: [PATCH] Backout ca927fe5; snps isn't supported in DC.

---
 Changes           | 2 --
 bin/verilator     | 2 +-
 src/V3PreProc.cpp | 4 ----
 3 files changed, 1 insertion(+), 7 deletions(-)

diff --git a/Changes b/Changes
index 3acbead73..373fb6b8e 100644
--- a/Changes
+++ b/Changes
@@ -12,8 +12,6 @@ indicates the contributor was also the author of the fix; Thanks!
 
 ***   Support arrayed SystemC I/O pins.  [Christophe Joly]
 
-****  Support "snps" directives.  [Dan Katz]
-
 ****  Fix core dump with over 100 deep UNOPTFLAT, bug432.  [Joe Eiler]
 
 
diff --git a/bin/verilator b/bin/verilator
index 4099ad2cb..01d02313e 100755
--- a/bin/verilator
+++ b/bin/verilator
@@ -1748,7 +1748,7 @@ assertion clocks.
 =head2 Synthesis Directive Assertion Support
 
 With the --assert switch, Verilator reads any "//synopsys full_case" or
-"//synopsys parallel_case" directives.  The same applies to any "//snps",
+"//synopsys parallel_case" directives.  The same applies to any
 "//ambit synthesis", "//cadence" or "//pragma" directives of the same form.
 
 When these synthesis directives are discovered, Verilator will either
diff --git a/src/V3PreProc.cpp b/src/V3PreProc.cpp
index 51d698f92..5f16fa362 100644
--- a/src/V3PreProc.cpp
+++ b/src/V3PreProc.cpp
@@ -394,10 +394,6 @@ void V3PreProcImp::comment(const string& text) {
 	cp+=strlen("synopsys");
 	synth = true;
 	if (*cp == '_') fileline()->v3error("Extra underscore in meta-comment; use /*synopsys {...}*/ not /*synopsys_{...}*/");
-    } else if (0==(strncmp(cp,"snps",strlen("snps")))) {
-	cp+=strlen("snps");
-	synth = true;
-	if (*cp == '_') fileline()->v3error("Extra underscore in meta-comment; use /*snps {...}*/ not /*snps_{...}*/");
     } else if (0==(strncmp(cp,"cadence",strlen("cadence")))) {
 	cp+=strlen("cadence");
 	synth = true;