projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 6dc5b74)
Remove accidental print (#6568)
authorGereon Kremer <nafur42@gmail.com>
Wed, 19 May 2021 14:00:10 +0000 (16:00 +0200)
committerGitHub <noreply@github.com>
Wed, 19 May 2021 14:00:10 +0000 (09:00 -0500)
src/options/mkoptions.py patch | blob | history

diff --git a/src/options/mkoptions.py b/src/options/mkoptions.py
index 4cc814a61f90cb0608310ae8be38e23798e43492..a7212641ce2afbb1f92b96dc0c44e2709831c8e3 100644 (file)
--- a/src/options/mkoptions.py
+++ b/src/options/mkoptions.py
@@ -366,7 +366,6 @@ class SphinxGenerator:
         res.append(val.format(opt['help']))
 
         if opt['modes']:
-            print(opt['modes'])
             res.append(val.format(''))
             res.append(val.format(opt['help_mode']))
             res.append(val.format(''))