# HG changeset patch
# User jwe
# Date 823626005 0
# Node ID 9a7cba7bb25b2676068ea8094203ff90fb745ff6
# Parent  ea3bb147605674da49ae1a4896d0f8196bdef18c
[project @ 1996-02-06 17:00:05 by jwe]

diff --git a/src/help.cc b/src/help.cc
--- a/src/help.cc
+++ b/src/help.cc
@@ -751,8 +751,8 @@
 
 	      if (pos != NPOS)
 		{
+		  elts = id.substr (pos+1);
 		  id = id.substr (0, pos);
-		  elts = id.substr (pos+1);
 		}
 	    }