diff --git a/example/symbol_exec/dse_crackme.py b/example/symbol_exec/dse_crackme.py
index a2ea1a29..34c39138 100644
--- a/example/symbol_exec/dse_crackme.py
+++ b/example/symbol_exec/dse_crackme.py
@@ -222,7 +222,6 @@ class DSEGenFile(DSEPathConstraint):
 
     def handle_solution(self, model, destination):
         global todo, done
-        assert destination.is_int()
 
         if destination in done:
             # Skip this path, already treated