Typo

rchen20 · rchen20 · commit 83287152bd10 · 2024-04-15T12:31:27.000-07:00
diff --git a/tpl/README.txt b/tpl/README.txt
@@ -4,7 +4,7 @@ Subdirectories in ./tpl/ contain third party libraries that Kripke depends on.
 
 tpl/caliper            Performance analysis toolbox/library
 
-tpl/chia               Copy HIding Api - provides smart arrays that 
+tpl/chai               Copy HIding Api - provides smart arrays that 
                        automate data motion on GPU architectures
 											 (REQUIRED for CUDA)
 
