Changeset 168

Timestamp:

10/19/02 15:26:59 (21 years ago)

Author:

piso

Message:

Minor cleanup.

File:

• trunk/j/src/org/armedbear/j/ShellFormatter.java (modified) (2 diffs)

trunk/j/src/org/armedbear/j/ShellFormatter.java

@@ -3 +3 @@
  *
  * Copyright (C) 1998-2002 Peter Graves
- * $Id: ShellFormatter.java,v 1.2 2002-10-15 01:01:16 piso Exp $
+ * $Id: ShellFormatter.java,v 1.3 2002-10-19 15:26:59 piso Exp $
  *
  * This program is free software; you can redistribute it and/or
@@ -37 +37 @@
     {
         this.buffer = buffer;
-        if (buffer instanceof Shell)
-            promptRE = ((Shell)buffer).getPromptRE();
-        else
-            promptRE = null;
+        promptRE = ((Shell)buffer).getPromptRE();
     }