diff options
Diffstat (limited to 'Build/source/texk/xdvik/gui/Tip.c')
-rw-r--r-- | Build/source/texk/xdvik/gui/Tip.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/xdvik/gui/Tip.c b/Build/source/texk/xdvik/gui/Tip.c index d0d7cd328a0..eb0d29c9c6a 100644 --- a/Build/source/texk/xdvik/gui/Tip.c +++ b/Build/source/texk/xdvik/gui/Tip.c @@ -603,5 +603,5 @@ void TipAddWidget(Widget w, Widget watch, const String text) #else /* silence `empty compilation unit' warnings */ -static void bar(void); static void foo() { bar(); } static void bar(void) { foo(); } +static void bar(void); static void foo(void) { bar(); } static void bar(void) { foo(); } #endif /* MOTIF */ |