diff options
Diffstat (limited to 'translate/grt/grt-cbinding.c')
| -rw-r--r-- | translate/grt/grt-cbinding.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/translate/grt/grt-cbinding.c b/translate/grt/grt-cbinding.c index 8885e1232..1b75fcfa0 100644 --- a/translate/grt/grt-cbinding.c +++ b/translate/grt/grt-cbinding.c @@ -43,6 +43,12 @@ __ghdl_fprintf_g (FILE *stream, double val) fprintf (stream, "%g", val); } +void +__ghdl_fprintf_clock (FILE *stream, int a, int b) +{ + fprintf (stream, "%3d.%03d", a, b); +} + #if 1 void __gnat_last_chance_handler (void) |