From 4768bff852a30d2db2aeca22060972db91de1f66 Mon Sep 17 00:00:00 2001 From: Gabor Greif Date: Tue, 26 Feb 2019 15:29:29 +0100 Subject: [PATCH] fix option in repl --- src/value.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/value.ml b/src/value.ml index 6bd6e7b060d..149e36dc46c 100644 --- a/src/value.ml +++ b/src/value.ml @@ -360,7 +360,7 @@ let rec string_of_val_nullary d = function (String.concat ", " (List.map (string_of_val' d) vs)) (if List.length vs = 1 then "," else "") | Opt v -> - sprintf "%s?" (string_of_val_nullary d v) + sprintf "?%s" (string_of_val_nullary d v) | Obj ve -> if d = 0 then "{...}" else sprintf "{%s}" (String.concat "; " (List.map (fun (x, v) ->