From 231b3042acf48cf19c5acf324f4cf1d26171419f Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Tue, 31 Jul 2007 21:24:10 +0000 Subject: [PATCH] Increased the stack size for processes, to be on the safe side --- GenerateCPPCSP.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/GenerateCPPCSP.hs b/GenerateCPPCSP.hs index 17f8333..fa56740 100644 --- a/GenerateCPPCSP.hs +++ b/GenerateCPPCSP.hs @@ -745,7 +745,7 @@ introduceSpec (A.Specification _ n (A.Proc _ sm fs p)) name tell ["("] genFormals prefixUnderscore fs - tell [") : csp::CSProcess(65536)"] + tell [") : csp::CSProcess(262144)"] genConstructorList fs tell ["{} protected: virtual void run() { try {"] name