diff src/pr-output.h @ 5360:33adb987c033

[project @ 2005-05-23 16:19:56 by jwe]
author jwe
date Mon, 23 May 2005 16:19:56 +0000 (2005-05-23)
parents 4c8a2e4e0717
children ce79d238f142
line wrap: on
line diff
--- a/src/pr-output.h
+++ b/src/pr-output.h
@@ -125,6 +125,10 @@
 		       int extra_indent = 0,
 		       bool pr_as_string = false);
 
+// TRUE means that the dimensions of empty objects should be printed
+// like this: x = [](2x0).
+extern bool Vprint_empty_dimensions;
+
 #endif
 
 /*