X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/0e191339227d5d05e83e900242411b056457d9a3..8b9d106fcc61fc84712c97d4db060d8302cc63fd:/rsm.cc?ds=sidebyside diff --git a/rsm.cc b/rsm.cc index a44c24b..4e73f9f 100644 --- a/rsm.cc +++ b/rsm.cc @@ -78,13 +78,10 @@ // The rule is that a module releases its internal locks before it // upcalls, but can keep its locks when calling down. -#include -#include - -#include "types.h" -#include "handle.h" #include "rsm.h" +#include "handle.h" #include "rsm_client.h" +#include rsm::rsm(const string & _first, const string & _me) : stf(0), primary(_first), insync (false), inviewchange (true), vid_commit(0),