X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Foptions.h;h=57bd2aea6654fc1ce38258900ad7ec3979244dca;hb=885ac3ed70c6cf89e951792de1b0c991b309b5c4;hp=f1eff8f871d31c23f2a96d21a1ade2a41396545e;hpb=a06dd54ab3d37656a1edfb8ee7de859cc0baac0e;p=pspp

diff --git a/src/output/options.h b/src/output/options.h
index f1eff8f871..57bd2aea66 100644
--- a/src/output/options.h
+++ b/src/output/options.h
@@ -51,6 +51,8 @@ int parse_int (struct driver_option *, int min_value, int max_value);
 int parse_dimension (struct driver_option *);
 char *parse_string (struct driver_option *);
 char *parse_chart_file_name (struct driver_option *);
+
 struct cell_color parse_color (struct driver_option *);
+bool parse_color__ (const char *, struct cell_color *);
 
 #endif /* output/options.h */