diff src/pt-const.h @ 2409:47e5f57fb4bd

[project @ 1996-10-15 16:44:26 by jwe]
author jwe
date Tue, 15 Oct 1996 16:44:26 +0000
parents c2c1482c34c8
children 8426659cd60e
line wrap: on
line diff
--- a/src/pt-const.h
+++ b/src/pt-const.h
@@ -326,6 +326,9 @@
   void convert_to_row_or_column_vector (void)
     { val.convert_to_row_or_column_vector (); }
 
+  void maybe_mutate (void)
+    { val.maybe_mutate (); }
+
   // Increment or decrement this constant.
 
   void increment (void) { val.increment (); }