From 3cfecc6780961566f6b8a4b55b12da504a3f13de Mon Sep 17 00:00:00 2001
From: gancherj <jgancher@andrew.cmu.edu>
Date: Thu, 1 Jun 2023 11:50:15 -0400
Subject: [PATCH] Fix regression

---
 src/Typing.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/Typing.hs b/src/Typing.hs
index bf28c6e..853c21d 100644
--- a/src/Typing.hs
+++ b/src/Typing.hs
@@ -245,8 +245,9 @@ initDetFuncs = withNormalizedTys $ M.fromList [
               l <- coveringLabel t
               case nt^.val of
                 NT_Enc t' -> do
+                    b1 <- flowsTo (ignore def) l advLbl
                     b2 <- flowsTo (ignore def) (nameLbl k) advLbl
-                    if ((not b2)) then do
+                    if (b1 && (not b2)) then do
                         -- Honest
                         debug $ pretty "Honest dec"
                         return $ TOption t'