aboutsummaryrefslogtreecommitdiff
path: root/ABC/Machine/BStack.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'ABC/Machine/BStack.dcl')
-rw-r--r--ABC/Machine/BStack.dcl1
1 files changed, 1 insertions, 0 deletions
diff --git a/ABC/Machine/BStack.dcl b/ABC/Machine/BStack.dcl
index 9d938ef..9a0041d 100644
--- a/ABC/Machine/BStack.dcl
+++ b/ABC/Machine/BStack.dcl
@@ -39,3 +39,4 @@ bs_mulI :: BStack -> BStack
bs_negI :: BStack -> BStack
bs_remI :: BStack -> BStack
bs_subI :: BStack -> BStack
+bs_notB :: BStack -> BStack