k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [[K-user] ] Why am I getting this error?

From: Christos Kloukinas <c.kloukinas AT gmail.com>
To: k-user AT lists.cs.illinois.edu
Subject: Re: [[K-user] ] Why am I getting this error?
Date: Thu, 26 Jul 2018 13:33:43 +0300
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=c.kloukinas AT gmail.com; dkim=pass header.d=gmail.com header.s=20161025; dmarc=pass header.from=gmail.com

Maybe try to delete the whole .k directory before kompiling?

On 25/07/2018 10:59, Xiangxing BU wrote:

Hi all,

Recently, when kompiling my code, it always reports me the message “Internal: IO error detected writing ground parser to file” (as shown below). I have no idea how to fix it. If anyone has encountered it before, please give me some suggestions. Thank you very much!!.

Samson

[[K-user] ] Why am I getting this error?, Xiangxing BU, 07/25/2018
- Re: [[K-user] ] Why am I getting this error?, Christos Kloukinas, 07/26/2018