From 26147afff0a60df2b337b8179069881d59b005f8 Mon Sep 17 00:00:00 2001
From: Michael Jumper <mike.jumper@guac-dev.org>
Date: Thu, 10 Apr 2014 15:54:02 -0700
Subject: [PATCH] GUAC-613: Fix header annotation in Doxygen comment in
 pool-types.h (wrong filename).

---
 src/libguac/guacamole/pool-types.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/libguac/guacamole/pool-types.h b/src/libguac/guacamole/pool-types.h
index c0cd0cde..2688f2eb 100644
--- a/src/libguac/guacamole/pool-types.h
+++ b/src/libguac/guacamole/pool-types.h
@@ -26,7 +26,7 @@
 /**
  * Type definitions related to the guac_pool pool of unique integers.
  *
- * @file pool.h
+ * @file pool-types.h
  */
 
 /**