- Fixed some comments.

2006-06-12 14:48:57 +00:00 · 2006-06-12 14:48:57 +00:00 · d87d9ede30
commit d87d9ede30
parent 780ca9880f
1 changed files with 5 additions and 1 deletions
--- a/src/prune_theorems.c
+++ b/src/prune_theorems.c
@ -410,8 +410,12 @@ prune_theorems (const System sys)
 	    }
 	}

-      // To be on the safe side, we currently limit the encryption level. This is not a problem for known attacks, but should be addressed more carefully at some point.
+      // To be on the safe side, we currently limit the encryption level. 
      /**
+       * This is not a problem for known attacks, but should be addressed more
+       * carefully at some point.  If there are variables that can contain
+       * encryptions, this is maybe not correct: make proof!
+       *
       * @todo Fix untyped variables reasoning
       */
      if (term_encryption_level (b->term) > max_encryption_level)