From 2c5f1f0e2b893e7020d5670b2587489927f48225 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Suzanne=20Dup=C3=A9ron?= <ligo@suzanne.soy>
Date: Wed, 17 Jun 2020 22:38:05 +0100
Subject: [PATCH] Bugfix in printer

---
 src/stages/5-ast_typed/PP_generic.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/stages/5-ast_typed/PP_generic.ml b/src/stages/5-ast_typed/PP_generic.ml
index 1e503ace6..c29a31b30 100644
--- a/src/stages/5-ast_typed/PP_generic.ml
+++ b/src/stages/5-ast_typed/PP_generic.ml
@@ -89,7 +89,7 @@ module M = struct
       option = (fun _visitor continue NoState o ->
         match o with
         | None -> fprintf ppf "None"
-        | Some v -> fprintf ppf "%a" (fun _ppf -> continue NoState) v) ;
+        | Some v -> fprintf ppf "Some %a" (fun _ppf -> continue NoState) v) ;
       poly_unionfind            = (fun _visitor continue NoState p   ->
         let lst = (UnionFind.Poly2.partitions p) in
         let aux1 l = fprintf ppf "[@,@[<hv 2> (*%a*) %a @]@,]"