From c750544df6a24ecaab34683b2dbde5e53b8a710c Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 2 Oct 2018 08:33:25 -0400
Subject: Experiments with Boolean functions.

---
 src/bdd/extrab/extraBddMisc.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/bdd/extrab')

diff --git a/src/bdd/extrab/extraBddMisc.c b/src/bdd/extrab/extraBddMisc.c
index 335f6754..42003864 100644
--- a/src/bdd/extrab/extraBddMisc.c
+++ b/src/bdd/extrab/extraBddMisc.c
@@ -2723,8 +2723,8 @@ DdNode * Extra_bddTuples(
         if ( K > nVars )
             return NULL;
 
-        /* the second argument in the recursive call stannds for <n>;
-        /* reate the first argument, which stands for <k> 
+        /* the second argument in the recursive call stands for <n>;
+         * create the first argument, which stands for <k> 
          * as when we are talking about the tuple of <k> out of <n> */
         for ( i = 0; i < nVars-K; i++ )
             VarsK = cuddT( VarsK );
-- 
cgit v1.2.3