projects
/
cdsspec-compiler.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Makfile: add 'make pdfs' target to build PDF from .dot graph
[cdsspec-compiler.git]
/
model.cc
diff --git
a/model.cc
b/model.cc
index c9b8460c66daa62f56a4a533bdbad44b3f41c3ba..e39266d41218feecb14d4fde94701c22cd2040d3 100644
(file)
--- a/
model.cc
+++ b/
model.cc
@@
-2647,7
+2647,6
@@
void ModelChecker::dumpGraph(char *filename) const
void ModelChecker::print_summary() const
{
#if SUPPORT_MOD_ORDER_DUMP
- scheduler->print();
char buffername[100];
sprintf(buffername, "exec%04u", stats.num_total);
mo_graph->dumpGraphToFile(buffername);