From 9842ab8715e3cbe8aa44ba50b02edb638ec27994 Mon Sep 17 00:00:00 2001 From: Nemh Date: Fri, 17 Apr 2015 19:40:21 +0200 Subject: [PATCH] Fixing a TeX generation problem --- print.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/print.cpp b/print.cpp index 28b3e48..ed7c38e 100644 --- a/print.cpp +++ b/print.cpp @@ -206,7 +206,7 @@ print_a_over_b(U *p) //#ifdef TEX //#else - if (d > 1) + if(!tex_flag && d > 1) //if (d > 1) print_char(')'); if(tex_flag) print_str("}");