From e14bc01cbfedd4d771999bee8e6419d8768bc950 Mon Sep 17 00:00:00 2001
From: partain <unknown>
Date: Mon, 22 Jan 1996 19:56:25 +0000
Subject: [PATCH] [project @ 1996-01-22 19:56:25 by partain] A tiny oops on
SysMan.lc (WDP)
---
ghc/runtime/gum/SysMan.lc | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ghc/runtime/gum/SysMan.lc b/ghc/runtime/gum/SysMan.lc
index e96a4bca2111..d6214d220599 100644
--- a/ghc/runtime/gum/SysMan.lc
+++ b/ghc/runtime/gum/SysMan.lc
@@ -40,7 +40,7 @@ The arguments passed to the Main-thread PE-executable are
-------------------------------------------------------------------
| main flag | pvm-executable path | Num. PEs | Program Args ... |
-------------------------------------------------------------------
-\begin{verbatim}
+\end{verbatim}
\item SysMan's algorithm is as follows.
\begin{itemize}
\item use PVM to spawn (nPE-1) PVM tasks
--
GitLab