diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-07 22:29:14 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-07 22:29:14 -0800 |
| commit | 68467cfff7a90680115cfc41c35b5ea693c74a3b (patch) | |
| tree | 17a77576b9bcd90490492ecd98ae3b615c0530fe /src/base/abci/abc.c | |
| parent | 55c5c1b58f3f9cd1b534ad11dbec6ba7a7813194 (diff) | |
| download | abc-68467cfff7a90680115cfc41c35b5ea693c74a3b.tar.gz abc-68467cfff7a90680115cfc41c35b5ea693c74a3b.tar.bz2 abc-68467cfff7a90680115cfc41c35b5ea693c74a3b.zip | |
Fixed a typo in variable names.
Diffstat (limited to 'src/base/abci/abc.c')
| -rw-r--r-- | src/base/abci/abc.c | 2 |
1 files changed, 1 insertions, 1 deletions
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"); |