From 5b50e2ed51c37f959a06923c8d7dfd99f0c926e4 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 22 Oct 2021 00:54:07 -0400
Subject: FIXED analysis extensions got reset and new ones would be
 unavailable.

---
 documentation/bookmark/Abstract interpretation.md | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 documentation/bookmark/Abstract interpretation.md

(limited to 'documentation/bookmark/Abstract interpretation.md')

diff --git a/documentation/bookmark/Abstract interpretation.md b/documentation/bookmark/Abstract interpretation.md
deleted file mode 100644
index d98525f7c..000000000
--- a/documentation/bookmark/Abstract interpretation.md	
+++ /dev/null
@@ -1,4 +0,0 @@
-# Reference
-
-1. ["Easy Abstract Interpretation with SPARTA" by Arnaud Venet and Jez Ng](https://www.youtube.com/watch?v=_fA7vkVJhF8)
-
-- 
cgit v1.2.3