diff options
Diffstat (limited to 'generator')
-rw-r--r-- | generator/generator_fish.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generator/generator_fish.ml b/generator/generator_fish.ml index 1341fa26..76b4c7aa 100644 --- a/generator/generator_fish.ml +++ b/generator/generator_fish.ml @@ -58,6 +58,7 @@ let generate_fish_cmds () = pr "#include \"full-write.h\"\n"; pr "#include \"xstrtol.h\"\n"; pr "#include \"fish.h\"\n"; + pr "#include \"options.h\"\n"; pr "#include \"cmds_gperf.h\"\n"; pr "\n"; pr "/* Valid suffixes allowed for numbers. See Gnulib xstrtol function. */\n"; |