summaryrefslogtreecommitdiff
path: root/Tachometer.c
diff options
context:
space:
mode:
Diffstat (limited to 'Tachometer.c')
-rw-r--r--Tachometer.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/Tachometer.c b/Tachometer.c
index c1b044d7..86634bdf 100644
--- a/Tachometer.c
+++ b/Tachometer.c
@@ -36,6 +36,7 @@ typedef struct {
XPoint point_list[5];
} StringRec;
+/*@ +charint @*/
/* Number character database - like an LED */
static DigitRec num_segment[] = {
{{1,1,1,1,1,1,0}},
@@ -93,6 +94,7 @@ static StringRec char_data[] = {
{24, 5},
{24, 2}}}};
#endif
+/*@ -charint @*/
#define offst(field) XtOffset(TachometerWidget, field)
static XtResource resources[] = {