From c51c45f45d4b9dba5ef219d8cfc232804363421c Mon Sep 17 00:00:00 2001
From: edgdiez <534-edgdiez@users.noreply.gitlab.inf.uva.es>
Date: Mon, 9 Nov 2020 18:43:10 +0100
Subject: [PATCH] Update biblioteca.dtd

---
 biblioteca.dtd | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/biblioteca.dtd b/biblioteca.dtd
index 1f6a5b1..7cb44c6 100644
--- a/biblioteca.dtd
+++ b/biblioteca.dtd
@@ -18,4 +18,4 @@
 <!ELEMENT apellidos (#PCDATA)>
 <!ATTLIST coleccion nombre ID #REQUIRED>
 <!ATTLIST libro isbn ID #REQUIRED>
-<!ATTLIST libro tipo (TapaDura|TapaBlanda|DeBolsillo) "TapaDura">
+<!ATTLIST libro tipo (TAPADURA|TAPABLANDA|DEBOLSILLO) "TAPADURA">
-- 
GitLab