From 751fb33688b06d8dab01b7f8334055d5cd227c94 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 24 Nov 2014 12:55:30 +0100
Subject: [PATCH] Some fixes in stubnets example

---
 manual/CHAPTER_Prog/stubnets.cc | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/manual/CHAPTER_Prog/stubnets.cc b/manual/CHAPTER_Prog/stubnets.cc
index 8880af5a6..4849c6a7b 100644
--- a/manual/CHAPTER_Prog/stubnets.cc
+++ b/manual/CHAPTER_Prog/stubnets.cc
@@ -5,15 +5,16 @@
 // binary, for any purpose, commercial or non-commercial, and by any
 // means.
 
-#include "kernel/rtlil.h"
-#include "kernel/register.h"
+#include "kernel/yosys.h"
 #include "kernel/sigtools.h"
-#include "kernel/log.h"
 
 #include <string>
 #include <map>
 #include <set>
 
+USING_YOSYS_NAMESPACE
+PRIVATE_NAMESPACE_BEGIN
+
 // this function is called for each module in the design
 static void find_stub_nets(RTLIL::Design *design, RTLIL::Module *module, bool report_bits)
 {
@@ -126,3 +127,4 @@ struct StubnetsPass : public Pass {
 	}
 } StubnetsPass;
 
+PRIVATE_NAMESPACE_END
-- 
2.30.2