Skip to content

Commit

Permalink
Don't raise an error when len(args)==0
Browse files Browse the repository at this point in the history
  • Loading branch information
hwu71 committed Dec 6, 2023
1 parent 6de2f86 commit 45b75a8
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions claripy/ast/base.py
Original file line number Diff line number Diff line change
Expand Up @@ -569,8 +569,8 @@ def __a_init__(
self._canonical_hash = None
self._ret_size = _ret_size

if len(self.args) == 0:
raise ClaripyOperationError("AST with no arguments!")
# if len(self.args) == 0:
# raise ClaripyOperationError("AST with no arguments!")

# pylint:enable=attribute-defined-outside-init

Expand Down

0 comments on commit 45b75a8

Please sign in to comment.