From 7b11290de97fa6cb2dabfbd6d2099da875ccc099 Mon Sep 17 00:00:00 2001
From: Robin Haberkorn <robin.haberkorn@googlemail.com>
Date: Mon, 24 Nov 2014 06:11:28 +0100
Subject: use RBTree::RBEntry instead of only RBEntry

minor change that fixes Doxygen-generated documentation
---
 src/goto.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/goto.h')

diff --git a/src/goto.h b/src/goto.h
index a919d31..eef0f10 100644
--- a/src/goto.h
+++ b/src/goto.h
@@ -53,7 +53,7 @@ class GotoTable : public RBTree {
 		}
 	};
 
-	class Label : public RBEntry {
+	class Label : public RBTree::RBEntry {
 	public:
 		gchar	*name;
 		gint	pc;
-- 
cgit v1.2.3