Remove the pretty-print without dive profile option.

Until now we had the choice between:
- pretty-print 
  - with dive profiles
  - without dive profiles
- table-print

This commit remove the pretty-print without dive profiles, leaving the choice to
either pretty-print or table-print.



Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>

1 files changed, 0 insertions, 1 deletions

diff --git a/display.h b/display.h
index 11895e6e1..581530efd 100644
--- a/display.h
+++ b/display.h
@@ -28,7 +28,6 @@ extern void attach_tooltip(int x, int y, int w, int h, const char *text);
 
 struct options {
 	enum { PRETTY, TABLE } type;
-	gboolean print_no_profiles;
 };
 
 extern char zoomed_plot;