Doc typet cont.

svorenova · svorenova · commit 3d219c1f0f86 · 2018-08-21T17:06:47.000+01:00
diff --git a/src/util/type.cpp b/src/util/type.cpp
@@ -1,14 +1,14 @@
 /*******************************************************************\
 
-Module: Data structure for a type of an expression
+Module: Implementations of some functions of typet
 
 Author: Daniel Kroening, kroening@kroening.com
         Maria Svorenova, maria.svorenova@diffblue.com
 
 \*******************************************************************/
 
 /// \file
-/// Data structure for a type of an expression
+/// Implementations of some functions of typet
 
 #include "type.h"
 #include "std_types.h"
diff --git a/src/util/type.h b/src/util/type.h
@@ -1,14 +1,14 @@
 /*******************************************************************\
 
-Module: Data structure for a type of an expression
+Module: Defines typet, type_with_subtypet and type_with_subtypest
 
 Author: Daniel Kroening, kroening@kroening.com
         Maria Svorenova, maria.svorenova@diffblue.com
 
 \*******************************************************************/
 
 /// \file
-/// Data structure for a type of an expression
+/// Defines typet, type_with_subtypet and type_with_subtypest
 
 #ifndef CPROVER_UTIL_TYPE_H
 #define CPROVER_UTIL_TYPE_H
