-fixing warnings from gauger header
authorChristian Grothoff <christian@grothoff.org>
Sun, 15 Jul 2012 15:59:44 +0000 (15:59 +0000)
committerChristian Grothoff <christian@grothoff.org>
Sun, 15 Jul 2012 15:59:44 +0000 (15:59 +0000)
commit94969ce463b89837b4c6b8ce3b8160e43a0097ee
treeb5121e46cd002795fdf0e990c2789cdc917e4ca9
parentdae0f52a533085f4bf6c509e2a0b144b9cc7a19d
-fixing warnings from gauger header
src/include/gauger.h