From: Gereon Kremer <gkremer@cs.stanford.edu>
Date: Thu, 24 Feb 2022 20:17:45 +0000 (+0100)
Subject: Improve error message for missing options include (#8154)
X-Git-Tag: cvc5-1.0.0~385
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2481c6194dc1d9d35562cbf18fdfc572961997d6;p=cvc5.git

Improve error message for missing options include (#8154)

This PR improves the error message if one tries to use options whose header have not been included.
---

diff --git a/src/options/mkoptions.py b/src/options/mkoptions.py
index 8a7dbf605..da3e98117 100644
--- a/src/options/mkoptions.py
+++ b/src/options/mkoptions.py
@@ -206,7 +206,7 @@ class Option(object):
 
 def generate_holder_fwd_decls(modules):
     """Render forward declaration of holder structs"""
-    return concat_format('  struct Holder{id_cap};', modules)
+    return concat_format('  struct Holder{id_cap}; // include "{header}" if this is an incomplete type', modules)
 
 
 def generate_holder_mem_decls(modules):