From 21d62e9aa9ef6d1b9fc80951e276ad2a36d1ea28 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 24 Mar 2006 23:02:53 +0000 Subject: [PATCH] Removing some diagnostics left over from previous commit. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@34 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/simulator/simreasoning.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/simulator/simreasoning.cc b/prism/src/simulator/simreasoning.cc index 1d048d80..a6518242 100644 --- a/prism/src/simulator/simreasoning.cc +++ b/prism/src/simulator/simreasoning.cc @@ -1160,7 +1160,7 @@ inline CUpdate* Merge_Two_Updates(CUpdate* upd1, CUpdate* upd2) CUpdate* new_update = new CUpdate(new_prob, (upd1->no_assignments + upd2->no_assignments)); for(int i = 0; i < upd1->no_assignments; i++) - {new_update->Add_Assignment(upd1->assignments[i]);cout << upd1->assignments[i]->Get_Variable_Index();} + new_update->Add_Assignment(upd1->assignments[i]); for(int i = 0; i < upd2->no_assignments; i++) new_update->Add_Assignment(upd2->assignments[i]); new_update->Set_Owns_Assignments(false);