blob: 7c9d2c8ed8c3b5268a3ae2229b8086712c221938 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- src/ui.c.orig Thu May 22 09:31:59 1997
+++ src/ui.c Thu Apr 23 10:21:20 1998
@@ -202,7 +202,7 @@
eval_check(interp, comm);
}
-static us_active = 0;
+static int us_active = 0;
void
ui_info_activate_us(void)
|