From 0c4129337aa0d8845ba8926870d88c7aefa2e17f Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Fri, 3 Oct 2025 09:50:51 -0700 Subject: [PATCH] Remove information learned later from intro Signed-off-by: Danila Fedorin --- alloy/slides.md | 3 --- 1 file changed, 3 deletions(-) diff --git a/alloy/slides.md b/alloy/slides.md index 4fa1694..5a7ce64 100644 --- a/alloy/slides.md +++ b/alloy/slides.md @@ -207,9 +207,6 @@ Code notes `previousFilter` is an approximation. # Possible Problems * `previousFilter` is an approximation. - * For `previousFilter = PUBLIC` and `filter = METHOD_FIELD`, we get - `previousFilter = 0`, indicating no more searches should be done. - * But we're missing private non-methods! * However, no case we knew of hit this combination of searches, or any like it. * All of our language tests passed. * Code seemed to work.