From d6c216885db770ee3a25069a41f61369c743fd4c Mon Sep 17 00:00:00 2001 From: fluxgen Date: Wed, 3 Dec 2003 17:55:13 +0000 Subject: minor fix --- src/WorkspaceCmd.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/WorkspaceCmd.cc b/src/WorkspaceCmd.cc index ba86626..40c1053 100644 --- a/src/WorkspaceCmd.cc +++ b/src/WorkspaceCmd.cc @@ -20,7 +20,7 @@ // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER // DEALINGS IN THE SOFTWARE. -// $Id: WorkspaceCmd.cc,v 1.7 2003/12/02 11:59:51 rathnor Exp $ +// $Id: WorkspaceCmd.cc,v 1.8 2003/12/03 17:55:13 fluxgen Exp $ #include "WorkspaceCmd.hh" @@ -31,7 +31,7 @@ #include "FbTk/KeyUtil.hh" -#include +#include #include #include -- cgit v0.11.2