Some output should be generated with "--skeleton", but not with "-D"

diff --git a/re2c/bootstrap/scanner.cc b/re2c/bootstrap/scanner.cc
index d70696eaf0b5ae6b3107e4ff098a2bac27246699..41ec86a6e6514bac25c8ec26eca7fa39c37d9668 100644 (file)
--- a/re2c/bootstrap/scanner.cc
+++ b/re2c/bootstrap/scanner.cc
@@ -1,4 +1,4 @@
-/* Generated by re2c 0.14.1.dev on Fri Mar 27 16:37:18 2015*/
+/* Generated by re2c 0.14.1.dev on Tue Mar 31 13:52:34 2015*/
 #include <stdlib.h>
 #include <string.h>
 #include <iostream>
@@ -294,7 +294,7 @@ yy42:
        if (yych != 'c') goto yy12;
        ++YYCURSOR;
        {
-                                       if (!(DFlag || flag_skeleton))
+                                       if (!DFlag)
                                        {
                                                out.insert_yymaxfill ();
                                        }
@@ -378,7 +378,7 @@ yy74:
        {
                                        tok = pos = cursor;
                                        ignore_eoc = true;
-                                       if (!(DFlag || flag_skeleton))
+                                       if (!DFlag)
                                        {
                                                out.insert_line_info ();
                                                out << "\n";

diff --git a/re2c/scanner.re b/re2c/scanner.re
index 2afcb17b3eb19f2f164a2cb0bdcfffc64473f79d..791416cd1fbfbc6c226a6f20b23142841dbd603a 100644 (file)
--- a/re2c/scanner.re
+++ b/re2c/scanner.re
@@ -102,7 +102,7 @@ echo:
                                        RETURN(Reuse);
                                }
        "/*!max:re2c" {
-                                       if (!(DFlag || flag_skeleton))
+                                       if (!DFlag)
                                        {
                                                out.insert_yymaxfill ();
                                        }
@@ -124,7 +124,7 @@ echo:
        "/*!types:re2c" {
                                        tok = pos = cursor;
                                        ignore_eoc = true;
-                                       if (!(DFlag || flag_skeleton))
+                                       if (!DFlag)
                                        {
                                                out.insert_line_info ();
                                                out << "\n";