From 0a588e9bfd10c98b43927329fe8e01212426a73e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Linas=20Vep=C5=A1tas?= Date: Thu, 28 Mar 2024 08:48:43 -0500 Subject: [PATCH] Forgot to use a trailing semicolon --- data/demo-atomese/storage.dict | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/data/demo-atomese/storage.dict b/data/demo-atomese/storage.dict index 3ef3236a1..1c8e7f06a 100644 --- a/data/demo-atomese/storage.dict +++ b/data/demo-atomese/storage.dict @@ -195,7 +195,7 @@ % selected randomly, to not exceed this limit. The selection is applied % after the above cost-max limit, and after some pre-pruning that avoids % the selection of disjuncts that cannot possibly be used. -#define max-disjuncts 75000 +#define max-disjuncts 75000; % ----------------------- % If disjuncts are not directly available, they can be created on the