bugfix

meta-introspector · Feb 24, 2024 · 4e880a6 · 4e880a6
1 parent 57a656f
commit 4e880a6
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/build2.sh b/build2.sh
@@ -1,5 +1,6 @@
 set -e
-
+opam switch create 4.1.13
+opam switch 4.1.13
 eval $(opam env --switch=4.1.13)
  opam repo add coq-released https://coq.inria.fr/opam/released
  opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev

diff --git a/lib/ollama.ml b/lib/ollama.ml
@@ -122,7 +122,7 @@ let myproc (body:string):string =
     with
     | Ppx_yojson_conv_lib.Yojson_conv.Of_yojson_error (loc, exn) ->
       Printf.eprintf "Loc at  %s\n" (Printexc.to_string loc);
-      Printf.eprintf "Error at  %s\n" (Yojson.Safe.show exn); "ERROR2" ^ json
+      Printf.eprintf "Error at  %s\n" (Yojson.Safe.show exn); "ERROR2" ^ body
   (* | exn -> *)
   (*   Printf.eprintf "Unexpected error: %s\n" (   to_string exn); "errorr2" *)