Fix spelling error

Brian Huffman · Brian Huffman · commit 1f40d54bc0d5 · 2016-05-20T13:18:30.000-07:00
diff --git a/src/SAWScript/Interpreter.hs b/src/SAWScript/Interpreter.hs
@@ -626,7 +626,7 @@ primitives = Map.fromList
 
   , prim "cec"                 "AIG -> AIG -> TopLevel ProofResult"
     (pureVal cecPrim)
-    [ "Perform a Combinitorial Equivalance Check between two AIGs."
+    [ "Perform a Combinatorial Equivalence Check between two AIGs."
     , "The AIGs must have the same number of inputs and outputs."
     ]
 

Original file line number	Diff line number	Diff line change
`@@ -626,7 +626,7 @@ primitives = Map.fromList`
`626`	`626`
`627`	`627`	`, prim "cec" "AIG -> AIG -> TopLevel ProofResult"`
`628`	`628`	`(pureVal cecPrim)`
`629`		`- [ "Perform a Combinitorial Equivalance Check between two AIGs."`
	`629`	`+ [ "Perform a Combinatorial Equivalence Check between two AIGs."`
`630`	`630`	`, "The AIGs must have the same number of inputs and outputs."`
`631`	`631`	`]`
`632`	`632`