remove extra whitespace

devnull-cz · Nov 6, 2023 · 786be3f · 786be3f
1 parent 915510c
commit 786be3f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/proc.tex b/proc.tex
@@ -1362,7 +1362,7 @@
 \begin{alltt}
 void *handle;
 double y, x = 1.3;
-double (*fun)(double); 
+double (*fun)(double);
 char *libname = "libm.so", *fn\_name = "sin";
 
 if ((handle = \emprg{dlopen}(libname, RTLD\_NOW)) == NULL)