diff options
Diffstat (limited to 'dwarflint/option_i.hh')
| -rw-r--r-- | dwarflint/option_i.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dwarflint/option_i.hh b/dwarflint/option_i.hh new file mode 100644 index 00000000..473d62a8 --- /dev/null +++ b/dwarflint/option_i.hh @@ -0,0 +1 @@ +class option_i; |