Fix a minor issue in expand_symbolic_value

1 files changed, 2 insertions, 0 deletions

diff --git a/src/Contexts.ml b/src/Contexts.ml
index 70c7a399..39c6ab91 100644
--- a/src/Contexts.ml
+++ b/src/Contexts.ml
@@ -49,6 +49,8 @@ module M = Modules
  * independentely of each other). Still, it is always a good idea to be
  * defensive.
  *
+ * However, the same problem arises with logging. 
+ *
  * Also, a more defensive way would be to not use global references, and
  * store the counters in the evaluation context. This is actually what was
  * originally done, before we updated the code to use global counters because