From 7bf5d3867d6b8a0c86297f39f039ce89b5a40e60 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Mon, 5 Jun 2017 00:19:43 +0200 Subject: [PATCH] Minor clarification on side effects of a function. --- src/anthem/Simplification.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/anthem/Simplification.cpp b/src/anthem/Simplification.cpp index a95caf9..18dc3e3 100644 --- a/src/anthem/Simplification.cpp +++ b/src/anthem/Simplification.cpp @@ -26,7 +26,7 @@ bool matchesVariableDeclaration(const ast::Term &term, const ast::VariableDeclar //////////////////////////////////////////////////////////////////////////////////////////////////// // Extracts the term t if the given formula is of the form “X = t” and X matches the given variable -// The input formula is not usable if a term is returned +// The input formula is no longer usable after this call if a term is returned std::experimental::optional extractAssignedTerm(ast::Formula &formula, const ast::VariableDeclaration &variableDeclaration) { if (!formula.is())