Merge branch 'master' of ssh://git-verilator-wsnyder/git/verilator

2013-10-28 11:15:33 -04:00 · 2013-10-28 11:15:33 -04:00 · 8ab28d1d12
parent 36814b7681 9567da22f8
commit 8ab28d1d12
1 changed files with 1 additions and 0 deletions
--- a/include/verilated.cpp
+++ b/include/verilated.cpp
@ -770,6 +770,7 @@ void VL_SFORMAT_X(int obits, void* destp, const char* formatp, ...) {
 }

 void VL_SFORMAT_X(int obits_ignored, string &output, const char* formatp, ...) {
+    if (obits_ignored) {}
    output = "";
    va_list ap;
    va_start(ap,formatp);