Add a link to issue 958

OCamlPro · Nov 22, 2023 · 84ddff8 · 84ddff8
1 parent 285b2d4
commit 84ddff8
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/lib/frontend/models.ml b/src/lib/frontend/models.ml
@@ -319,7 +319,9 @@ module SmtlibCounterExample = struct
              [Symbols.print] will always output AE native format, this
              doesn't agree when the output format is SMT-LIB. But the
              printer of expression will output the right string if we don't
-             give the arguments of the field. *)
+             give the arguments of the field.
+
+             Issue: https://github.com/OCamlPro/alt-ergo/issues/958 *)
           let access = Fmt.str "%a" Expr.print (Expr.mk_term f [] ty) in
           add_records_destr
             records