From abfe1a70e7df2d1d4a808e8769b278038e4d7ce2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Villemot?= Date: Tue, 5 Mar 2019 18:59:40 +0100 Subject: [PATCH] Fix typo --- src/ExprNode.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ExprNode.cc b/src/ExprNode.cc index 27b1253a..fc1ecdeb 100644 --- a/src/ExprNode.cc +++ b/src/ExprNode.cc @@ -3491,7 +3491,7 @@ UnaryOpNode::substituteUnaryOpNodes(DataTree &static_datatree, diff_table_t &nod if (arg->maxLead() > 0) { - cerr << "Cannot substitue unary operations that contain leads" << endl; + cerr << "Cannot substitute unary operations that contain leads" << endl; exit(EXIT_FAILURE); }