# HG changeset patch
# User jwe
# Date 831052253 0
# Node ID 07227f04abc5105b657f4c80fc8dd0be4fc172ee
# Parent  dece5cc39e001f582ab8c572c0fb8a480a6e97e5
[project @ 1996-05-02 15:50:53 by jwe]

diff -r dece5cc39e00 -r 07227f04abc5 src/pt-mvr.h
--- a/src/pt-mvr.h	Tue Apr 30 12:38:20 1996 +0000
+++ b/src/pt-mvr.h	Thu May 02 15:50:53 1996 +0000
@@ -63,7 +63,7 @@
   void print_code (ostream&) { }
 
 private:
-  octave_value_list values;
+  const octave_value_list values;
 };
 
 // Index expressions.