Project

General

Profile

« Previous | Next » 

Revision fbcd3ad1

Added by Pierre-Loïc Garoche almost 4 years ago

No space in comments

View differences:

src/printers.ml
179 179 

  		




  180
  180
  
    
and pp_expr_annot fmt expr_ann =


  		




  181
  181
  
    
  let pp_annot fmt (kwds, ee) =


  		




  182
  
  
    
    fprintf fmt "(*! %a: %a; *)"


  		




  
  182
  
    
    fprintf fmt "(*!%a: %a; *)"


  		




  183
  183
  
    
      pp_annot_key kwds


  		




  184
  184
  
    
      pp_eexpr ee


  		




  185
  185
  
    
  in


  		












Also available in:  Unified diff