From 57179575d432ea51ff2aab65fde4a09f122d4913 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 22 Mar 2006 16:41:47 +0000 Subject: [PATCH] Removal of surplus Class:: in C++ header simmodel.h to allow compilation with gcc 4.1. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@29 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/include/simmodel.h | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/prism/include/simmodel.h b/prism/include/simmodel.h index def97db8..c049febd 100644 --- a/prism/include/simmodel.h +++ b/prism/include/simmodel.h @@ -117,8 +117,7 @@ class CAssignment */ string To_String(); - void CAssignment::Write_Assignment(int fd); - + void Write_Assignment(int fd); }; /* @@ -184,14 +183,14 @@ class CUpdate /* * Do the update on state_variables */ - void CUpdate::Do_Update(); + void Do_Update(); /* * Do the update on vars */ - void CUpdate::Do_Update(int*vars); + void Do_Update(int*vars); - void CUpdate::Write_Update(int fd); + void Write_Update(int fd); }; /*