From 2eae22f332d3bca0bb023bfca7fc4e2e73a91398 Mon Sep 17 00:00:00 2001
From: jorplaz <429-jorplaz@users.noreply.gitlab.inf.uva.es>
Date: Wed, 11 Nov 2020 22:09:21 +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 272c72e..a04d890 100644
--- a/biblioteca.dtd
+++ b/biblioteca.dtd
@@ -1,5 +1,5 @@
 <!ELEMENT biblioteca (libro+,coleccion+)>
-<!ELEMENT libro (titulo, num_paginas, idioma, idioma_original?, editorial, tipo, año, dimensiones?, autor+)>
+<!ELEMENT libro (titulo, num_paginas, idioma, idioma_original?, editorial, año, dimensiones?, autor+)>
 <!ELEMENT isbn (#PCDATA)>
 <!ELEMENT titulo (#PCDATA)>
 <!ELEMENT num_paginas (#PCDATA)>
-- 
GitLab