Update abstractmodeltrace-interface.md

TuringLang · Oct 18, 2021 · 6ad74af · 6ad74af
1 parent 4d7d6b1
commit 6ad74af
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/abstractmodeltrace-interface.md b/abstractmodeltrace-interface.md
@@ -1,4 +1,4 @@
-# `AbstractModelType` interface proposal
+# `AbstractModelTrace`/`VarInfo` interface proposal
 
 ## Background