From 68467cfff7a90680115cfc41c35b5ea693c74a3b Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 7 Feb 2015 22:29:14 -0800 Subject: Fixed a typo in variable names. --- src/base/abci/abc.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/base/abci') diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 6992edcf..fce7c6dd 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -36329,7 +36329,7 @@ usage: Abc_Print( -2, "\t Functional variables: {a,b} (both a and b are always present)\n"); Abc_Print( -2, "\t Parameter variables: {p,q,r,s,t,u,v,w} (any number from 1 to 8)\n"); Abc_Print( -2, "\t Boolean operators: AND(&), OR(|), XOR(^), MUX(?:), NOT(~)\n"); - Abc_Print( -2, "\t Parantheses should be used around each operator. Spaces not allowed.\n"); + Abc_Print( -2, "\t Parentheses should be used around each operator. Spaces not allowed.\n"); Abc_Print( -2, "\t Complement (~) is only allowed before variables (use DeMorgan law).\n"); Abc_Print( -2, "\t Examples:\n"); Abc_Print( -2, "\t (((a&b)&~p)|q) stuck-at-0/1 at the output\n"); -- cgit v1.2.3