summaryrefslogtreecommitdiff
path: root/Build/source/texk/xdvik/gui/Tip.c
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/xdvik/gui/Tip.c')
-rw-r--r--Build/source/texk/xdvik/gui/Tip.c2
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 */