]> git.saurik.com Git - bison.git/commitdiff
(injections_compute): Wrap strings in _() if
authorPaul Eggert <eggert@cs.ucla.edu>
Mon, 12 Aug 2002 14:40:07 +0000 (14:40 +0000)
committerPaul Eggert <eggert@cs.ucla.edu>
Mon, 12 Aug 2002 14:40:07 +0000 (14:40 +0000)
they need translation.

src/injections.c

index 9deaabdc409e28609fb75f4fa9e9d2db0e33a056..31256953f794580533e926ec43670fb0d6187744 100644 (file)
@@ -101,10 +101,10 @@ injections_compute (void)
       }
 
   if (trace_flag & trace_sets)
       }
 
   if (trace_flag & trace_sets)
-    injections_print ("syntactic direct injections");
+    injections_print (_("syntactic direct injections"));
   bitsetv_transitive_closure (injects);
   if (trace_flag & trace_sets)
   bitsetv_transitive_closure (injects);
   if (trace_flag & trace_sets)
-    injections_print ("syntactic injections");
+    injections_print (_("syntactic injections"));
 }
 
 
 }