From 4538f5fe95758f2507c191ab39175491f24e6f67 Mon Sep 17 00:00:00 2001 From: Tim King Date: Mon, 15 Jan 2018 22:47:40 -0800 Subject: Removing more miscellaneous throw specifiers. (#1509) Removing more miscellaneous throw specifiers. Also fixing the spelling of amount in several places. --- src/prop/theory_proxy.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/prop/theory_proxy.h') diff --git a/src/prop/theory_proxy.h b/src/prop/theory_proxy.h index 67d3b3b7e..cc89fbdd5 100644 --- a/src/prop/theory_proxy.h +++ b/src/prop/theory_proxy.h @@ -92,7 +92,7 @@ public: void logDecision(SatLiteral lit); - void spendResource(unsigned ammount); + void spendResource(unsigned amount); bool isDecisionEngineDone(); -- cgit v1.2.3