From 98a61ad83f968d856d4f86ca32fcca8010a44f6f Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Thu, 15 May 2014 12:41:53 +0100
Subject: Fix infinite loop bug

The output is *completely* broken (a mix of missing and too many
whitespaces). No idea what is going on.
---
 src/pretty_print.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/pretty_print.ml b/src/pretty_print.ml
index c3eb6be2..2296dded 100644
--- a/src/pretty_print.ml
+++ b/src/pretty_print.ml
@@ -1052,7 +1052,7 @@ and doc_exp e =
   and starstar_exp ((E_aux(e,_)) as expr) = match e with
   | E_app_infix(l,(Id_aux(Id "**",_) as op),r) ->
       doc_op (doc_id op) (starstar_exp l) (app_exp r)
-  | _ -> star_exp expr
+  | _ -> app_exp expr
   and app_exp ((E_aux(e,_)) as expr) = match e with
   | E_app(f,args) ->
       doc_unop (doc_id f) (parens (separate_map comma exp args))
-- 
cgit v1.2.3