Updated documentation of RDE_RF in Dockerfile.

GaloisInc · Jan 21, 2023 · 807fad3 · 807fad3
1 parent b10371a
commit 807fad3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -316,7 +316,7 @@ RUN cd /tools/${TOOL}/source/lobot/ && cabal v2-build
 ENV PATH="/tools/${TOOL}:${PATH}"
 RUN echo "${TOOL} ${REPO} ${TAG}" >> ${VERSION_LOG}
 
-# DocumentationEnricher
+# RDE Refinement Finder (aka the DocumentationEnricher)
 ARG TOOL=der
 ARG TAG=0.1.5
 ARG REPO=https://github.com/GaloisInc/RDE_RF/releases/tag/v.0.1.5