From ffa44353f932e1657eb1bdb52db27bfd81086d9f Mon Sep 17 00:00:00 2001
From: bu <wolff@lri.fr>
Date: Mon, 11 Mar 2019 09:42:49 +0100
Subject: [PATCH] More on the small_math example used in the paper.

---
 ontologies/small_math.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ontologies/small_math.thy b/ontologies/small_math.thy
index c9b6705..6a1bb70 100644
--- a/ontologies/small_math.thy
+++ b/ontologies/small_math.thy
@@ -10,7 +10,7 @@ doc_class title =
 doc_class author =
    email       :: "string" <= "''''"
 
-datatype classification = algebra | geometry | graph_theory
+datatype classification = algebra | geometry | topology
 
 doc_class abstract =
     keyword_list :: "classification list"   <= "[]"