Commit 6f348ea8 authored by Robert Butora's avatar Robert Butora
Browse files

vlkb: adds debug (isSpecFrame is-spec-domain)

parent 49dafdd2
Loading
Loading
Loading
Loading
+3 −1
Original line number Diff line number Diff line
@@ -200,7 +200,9 @@ bool ast::frameset::has_specframe(void)
      }

      int isspec = astIsASpecFrame((AstFrame*)frm);
      if(isspec && is_specdomain(frm)) return true;
      int isspecdomain = is_specdomain(frm);
      LOG_STREAM << "isSpecFrame: " << to_string(isspec) << " is_specdomain: " << to_string(isspecdomain) << endl;
      if(isspec && isspecdomain) return true;

      cmpframe = first;