diff src/ov-base.h @ 4587:7b957b442818

[project @ 2003-11-10 15:50:39 by jwe]
author jwe
date Mon, 10 Nov 2003 15:50:40 +0000
parents cb1b4271643c
children 77566be8b9e9
line wrap: on
line diff
--- a/src/ov-base.h	Sat Nov 08 06:32:17 2003 +0000
+++ b/src/ov-base.h	Mon Nov 10 15:50:40 2003 +0000
@@ -112,6 +112,8 @@
 
   bool is_complex_matrix (void) const { return false; }
 
+  bool is_bool_matrix (void) const { return false; }
+
   bool is_char_matrix (void) const { return false; }
 
   bool is_string (void) const { return false; }