From 1c57e9b08bfc4231d9189b4796bb139722358912 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Tue, 12 Jan 2021 23:46:47 +0000
Subject: [PATCH] Fixed package name.

---
 src/DOF/latex/DOF-amssymb.sty | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/DOF/latex/DOF-amssymb.sty b/src/DOF/latex/DOF-amssymb.sty
index c598b89..c89b047 100644
--- a/src/DOF/latex/DOF-amssymb.sty
+++ b/src/DOF/latex/DOF-amssymb.sty
@@ -13,7 +13,7 @@
 
 
 \NeedsTeXFormat{LaTeX2e}\relax
-\ProvidesPackage{DOF-COL}
+\ProvidesPackage{DOF-amssymb}
   [<isadofltxversion>%
   Document-Type Support Framework for Isabelle (amssymb wrapper for lualatex/pdflatex).]