# HG changeset patch
# User jwe
# Date 749004084 0
# Node ID 46ac21715e231237ef57086dcfc32196a7f72fc8
# Parent  096ef59709b3864f650c11479f4acc74a9522598
[project @ 1993-09-26 00:41:24 by jwe]
(octave_gets): Set octave_gets_line to NULL after freeing it.

diff -r 096ef59709b3 -r 46ac21715e23 src/input.cc
--- a/src/input.cc	Sat Sep 25 20:31:49 1993 +0000
+++ b/src/input.cc	Sun Sep 26 00:41:24 1993 +0000
@@ -129,7 +129,10 @@
 octave_gets (void)
 {
   if (octave_gets_line != NULL)
-    free (octave_gets_line);
+    {
+      free (octave_gets_line);
+      octave_gets_line = (char *) NULL;
+    }
 
   if (interactive || forced_interactive)
     {