From: Gereon Kremer <nafur42@gmail.com>
Date: Wed, 19 May 2021 14:00:10 +0000 (+0200)
Subject: Remove accidental print (#6568)
X-Git-Tag: cvc5-1.0.0~1742
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=29aac1b9d886e245a7b5cd2122d7b80fa230152d;p=cvc5.git

Remove accidental print (#6568)
---

diff --git a/src/options/mkoptions.py b/src/options/mkoptions.py
index 4cc814a61..a7212641c 100644
--- 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(''))