Description: <short summary of the patch>
 TODO: Put a short summary on the line above and replace this paragraph
 with a longer explanation of this change. Complete the meta-information
 with other relevant fields (see below for details). To make it easier, the
 information below has been extracted from the changelog. Adjust it or drop
 it.
 .
 fricas (1.3.10-1) unstable; urgency=medium
 .
   * New upstream release.
Author: Camm Maguire <camm@debian.org>

---
The information above should follow the Patch Tagging Guidelines, please
checkout https://dep.debian.net/deps/dep3/ to learn about the format. Here
are templates for supplementary fields that you might want to add:

Origin: (upstream|backport|vendor|other), (<patch-url>|commit:<commit-id>)
Bug: <upstream-bugtracker-url>
Bug-Debian: https://bugs.debian.org/<bugnumber>
Bug-Ubuntu: https://launchpad.net/bugs/<bugnumber>
Forwarded: (no|not-needed|<patch-forwarded-url>)
Applied-Upstream: <version>, (<commit-url>|commit:<commid-id>)
Reviewed-By: <name and email of someone who approved/reviewed the patch>
Last-Update: 2024-04-09

--- fricas-1.3.10.orig/src/lisp/fricas-lisp.lisp
+++ fricas-1.3.10/src/lisp/fricas-lisp.lisp
@@ -676,10 +676,11 @@ with this hack and will try to convince
 ;; actual string buffer. We use 'sock_get_string_buf_wrapper' to
 ;; resolve the problem
 (SI::clines "int sock_get_string_buf_wrapper(int i, object x, int j)"
-    "{ if (type_of(x)!=t_string) FEwrong_type_argument(sLstring,x);"
-    "  if (x->st.st_fillp<j)"
-    "    FEerror(\"string too small in sock_get_string_buf_wrapper\",0);"
-    "  return sock_get_string_buf(i, x->st.st_self, j); }")
+	    "{ extern int sock_get_string_buf(int,void *,int); "
+	    " if (type_of(x)!=t_string) FEwrong_type_argument(sLstring,x);"
+	    " if (x->st.st_fillp<j)"
+	    "    FEerror(\"string too small in sock_get_string_buf_wrapper\",0);"
+	    " return sock_get_string_buf(i, x->st.st_self, j); }")
 
 (SI::defentry sock_get_string_buf (SI::int SI::object SI::int)
     (SI::int "sock_get_string_buf_wrapper"))
