diff options
| -rwxr-xr-x | generator/generator.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/generator/generator.ml b/generator/generator.ml index fe12c0b..89ba7d7 100755 --- a/generator/generator.ml +++ b/generator/generator.ml @@ -733,8 +733,11 @@ struct hive_set_value { char *value; }; typedef struct hive_set_value hive_set_value; + "; + pr "/* Functions. */\n"; + (* Function declarations. *) List.iter ( fun (shortname, style, _, _) -> |