From b511d7f8a7979ef850913edfee6e57f7569e80de Mon Sep 17 00:00:00 2001
From: Alice <alicevteixeira@gmail.com>
Date: Fri, 10 Nov 2023 11:45:55 +0000
Subject: [PATCH] vault backup: 2023-11-10 11:45:55

---
 .obsidian/workspace.json | 10 +++++-----
 4a1s/MFES/PL - Aula 7.md |  4 ++--
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index a833a22..8cbe7f6 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -13,7 +13,7 @@
             "state": {
               "type": "markdown",
               "state": {
-                "file": "4a1s/DAA/PL - Project.md",
+                "file": "4a1s/MFES/PL - Aula 7.md",
                 "mode": "source",
                 "source": false
               }
@@ -85,7 +85,7 @@
             "state": {
               "type": "backlink",
               "state": {
-                "file": "4a1s/DAA/PL - Project.md",
+                "file": "4a1s/MFES/PL - Aula 7.md",
                 "collapseAll": false,
                 "extraContext": false,
                 "sortOrder": "alphabetical",
@@ -102,7 +102,7 @@
             "state": {
               "type": "outgoing-link",
               "state": {
-                "file": "4a1s/DAA/PL - Project.md",
+                "file": "4a1s/MFES/PL - Aula 7.md",
                 "linksCollapsed": false,
                 "unlinkedCollapsed": true
               }
@@ -125,7 +125,7 @@
             "state": {
               "type": "outline",
               "state": {
-                "file": "4a1s/DAA/PL - Project.md"
+                "file": "4a1s/MFES/PL - Aula 7.md"
               }
             }
           },
@@ -160,8 +160,8 @@
   },
   "active": "9853b375f7893cb9",
   "lastOpenFiles": [
-    "4a1s/DAA/PL - Aula 1.md",
     "4a1s/DAA/PL - Project.md",
+    "4a1s/DAA/PL - Aula 1.md",
     "4a1s/ASCN/T - Aula 3.md",
     "4a1s/ASCN/T - Aula 2.md",
     "4a1s/ASCN/T - Aula 1.md",
diff --git a/4a1s/MFES/PL - Aula 7.md b/4a1s/MFES/PL - Aula 7.md
index c399e19..3ec13a8 100644
--- a/4a1s/MFES/PL - Aula 7.md	
+++ b/4a1s/MFES/PL - Aula 7.md	
@@ -42,12 +42,12 @@ pred insert[n : Node] {
   	//if hash empty -> node to head of bucket
 	n.key.hash not in Hash implies
 	(
-      lone b:Bucket | b.head = node implies b.head' = n
+      lone b:Bucket | b.head = none implies b.head' = n
   	)
   	//if hash empty -> bucket of desired hash, add to next
   	n.key.hash in Hash implies
   	(
-      lone b: Bucket | b.head.key.hash = n.key.hash | b.head.*prox = 
+      lone b: Bucket | b.head.key.hash = n.key.hash | b.head.*prox = n
   	)
 }