From 210ddf92aab09acc796b2a7fe34ba3bd983cbd62 Mon Sep 17 00:00:00 2001
From: Nguyễn Gia Phong <cnx@loang.net>
Date: Mon, 11 Dec 2023 13:34:41 +0900
Subject: Finish content

---
 glossary.tex | 1 +
 1 file changed, 1 insertion(+)

(limited to 'glossary.tex')

diff --git a/glossary.tex b/glossary.tex
index d8953ab..83fc900 100644
--- a/glossary.tex
+++ b/glossary.tex
@@ -18,6 +18,7 @@
 \newacronym{sat}{SAT}{satisfiability}
 \newacronym{smt}{SMT}{satisfiability modulo theories}
 \newacronym{ffi}{FFI}{foreign function interface}
+\newacronym{ub}{UB}{undefined behavior}
 \newglossaryentry{searcher}{name=searcher,
   description={Is what keeps track of states to be executed,
     along with the information for scheduling them to optimize resources
-- 
cgit 1.4.1

