diff --git a/core/model.jl b/core/model.jl
index ea8ff929589c73f8da8a4f0d18922f862a258413..4b3356135d737d3d4ca3721b5586823c2f4ae291 100644
--- a/core/model.jl
+++ b/core/model.jl
@@ -406,7 +406,6 @@ function smc_chernoff(sm::SynchronizedModel; approx::Float64 = 0.01, confidence:
     @assert sm.automaton.name in ["F property", "G property", "G and F property"] 
     nbr_sim = log(2/(1-confidence)) / (2*approx^2)
     nbr_sim = convert(Int, trunc(nbr_sim)+1)
-    @show nbr_sim
     return probability_var_value_lha(sm, nbr_sim)
 end