This was in the pull requets #641, but lost.

acl2 · Nov 27, 2016 · 74c5fd2 · 74c5fd2
1 parent 7bff925
commit 74c5fd2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/books/centaur/sv/cosims/run.lsp b/books/centaur/sv/cosims/run.lsp
@@ -172,6 +172,7 @@
         ;; indicates error -- but allow for now since iverilog is a new/optional feature
         ;; (er hard? 'output-lines-iv "~@0" lines)
         (mv nil state))
+       (lines (drop-comment-lines lines))
        ((unless (eql (len lines) (len *input-lines*)))
         (er hard? 'output-lines-iv "Wrong number of lines read: ~x0, expecting ~x1"
             (len lines) (len *input-lines*))