From bf486002d9a6d976b3d086700ccdcfb0fb70ba0b Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 15 Aug 2014 14:04:35 +0200
Subject: Removed old doc references to $safe_pmux

---
 manual/CHAPTER_Optimize.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'manual/CHAPTER_Optimize.tex')

diff --git a/manual/CHAPTER_Optimize.tex b/manual/CHAPTER_Optimize.tex
index c562650b..af8e2249 100644
--- a/manual/CHAPTER_Optimize.tex
+++ b/manual/CHAPTER_Optimize.tex
@@ -136,7 +136,7 @@ This pass performs trivial resource sharing. This means that this pass identifie
 with identical inputs and replaces them with a single instance of the cell.
 
 The option {\tt -nomux} can be used to disable resource sharing for multiplexer
-cells ({\tt \$mux}, {\tt \$pmux}, and {\tt \$safe\_pmux}). This can be useful as
+cells ({\tt \$mux} and {\tt \$pmux}. This can be useful as
 it prevents multiplexer trees to be merged, which might prevent {\tt opt\_muxtree}
 to identify possible optimizations.
 
-- 
cgit v1.2.3

