From 7af9dedc31d429e48ca0e2963d0920968e5a76c0 Mon Sep 17 00:00:00 2001 From: chriseth Date: Mon, 19 Oct 2020 15:04:47 +0200 Subject: [PATCH] Add double-hyphen. --- Changelog.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Changelog.md b/Changelog.md index ec9589b18..6071e91fd 100644 --- a/Changelog.md +++ b/Changelog.md @@ -9,7 +9,7 @@ Language Features: Compiler Features: - * Command Line Interface: New option ``model-checker-engine`` allows to choose a specific SMTChecker engine. Options are ``all`` (default), ``bmc``, ``chc`` and ``none``. + * Command Line Interface: New option ``--model-checker-engine`` allows to choose a specific SMTChecker engine. Options are ``all`` (default), ``bmc``, ``chc`` and ``none``. * Control Flow Graph: Print warning for non-empty functions with unnamed return parameters that are not assigned a value in all code paths. * SMTChecker: Support ``keccak256``, ``sha256``, ``ripemd160`` and ``ecrecover`` in the CHC engine. * SMTChecker: Support inline arrays.