Remuve use of unbound variable

eisop · Aug 3, 2021 · ef08082 · ef08082
1 parent 3850979
commit ef08082
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/manual/creating-a-checker.tex b/docs/manual/creating-a-checker.tex
@@ -1952,7 +1952,7 @@
 \end{Verbatim}
 
 \noindent
-where the first command creates file \<someDirectory/MyClass.dot> that
+where the first command creates file \<MyClass.dot> that
 represents the CFG, and the last command draws the CFG in a PDF file.
 The \<dot> program is part of \ahref{http://www.graphviz.org}{Graphviz}.
 
@@ -2474,7 +2474,7 @@
 %  LocalWords:  javacutil LiteralKind EnsuresQualifier EnsuresQualifierIf
 %%  LocalWords:  mychecker AnnotationBuilder AnnotationUtils typequals
 %%  LocalWords:  TypeAnnotationUtils reimplementing typesystem TreeType
-%%  LocalWords:  getTypeFactoryOfSubchecker someDirectory checkername
+%%  LocalWords:  getTypeFactoryOfSubchecker checkername
 %%  LocalWords:  AnnotationMirror AnnotationMirrorMap AnnotationMirrorSet
 %%  LocalWords:  processorpath CheckerName EnsuresNonNullIf reportError
 %%  LocalWords:  reportWarning AnnotatedFor AdumpOnErrors AparseAllJdk