From a5a4f71a2a2f6541931a6d816e945aad8853f314 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Fri, 31 Aug 2018 15:37:10 -0300 Subject: [PATCH] correct README --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 5fccf029..30efcf66 100644 --- a/README.md +++ b/README.md @@ -28,7 +28,7 @@ Extend rusty-wam to include the following, among other features: * Built-in control operators (`,`, `;`, `->`, etc.) (_done_). * A revised, not-terrible module system (_done, I think_). * Built-in predicates for list processing and top-level declarative - control (`setup_call_control/3`, `call_with_inference_limit/3`, + control (`setup_call_cleanup/3`, `call_with_inference_limit/3`, etc.) (_done_) * Default representation of strings as list of chars, using a packed internal representation (_done_). -- 2.54.0