bug fix: none instead of pdf to graph_format

2012-10-31 16:16:45 +01:00 · 2012-10-31 16:16:45 +01:00 · bc4a2bffe4
parent 4509136dba
commit bc4a2bffe4
1 changed files with 1 additions and 1 deletions
--- a/DynareBison.yy
+++ b/DynareBison.yy
@ -2262,7 +2262,7 @@ allowed_graph_formats : EPS
                      | PDF
                        { driver.add_graph_format("pdf"); }
                      | NONE
-                        { driver.add_graph_format("pdf"); }
+                        { driver.add_graph_format("none"); }
                      ;
 list_allowed_graph_formats : allowed_graph_formats
                           | list_allowed_graph_formats COMMA allowed_graph_formats