diff --git a/backend/Builtin/Syntax.icl b/backend/Builtin/Syntax.icl index 781c07f55bd47eefee575406d1731d4788a7b869..f2479816699104a023ce7c2cb78a901cdeea8a3f 100644 --- a/backend/Builtin/Syntax.icl +++ b/backend/Builtin/Syntax.icl @@ -238,7 +238,7 @@ bs_dotdot = bs_exists = { syntax_title = "existential quantifier" - , syntax_patterns = map exact ["E", "E\\.*"] + , syntax_patterns = map exact ["E", "E\\.*", "existential"] , syntax_code = [":: ... = E. ...: ..."] , syntax_description = "Existential quantifiers make it possible to define (recursive) objects of the same type with different types of content." , syntax_doc_locations = [CLR 7 "5.1.3" "_Toc311798042"] diff --git a/backend/install_clean_vars.sh b/backend/install_clean_vars.sh index 00bdb1b79f7357e3518c3b1e0ab1c9f5dc66bc49..f822185b33580606a65d12ccada05d138461d585 100755 --- a/backend/install_clean_vars.sh +++ b/backend/install_clean_vars.sh @@ -6,4 +6,4 @@ PATCHCLEANBUILD="$PATCHCLEANBUILD;sed -i 's:master:cloogle:' clean-lib-platform/ PATCHCLEANBUILD="$PATCHCLEANBUILD;sed -i 's:platform-master:platform-cloogle:' clean-lib-platform/linux-x64/build.sh" export PATCHCLEANBUILD -export CLEANDATE="2019-02-07" +export CLEANDATE="2019-02-08"