Changeset 0e5dde in git for MP/MPT

Timestamp:

Nov 23, 1998, 12:04:59 PM (26 years ago)

Author:

Olaf Bachmann <obachman@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')

Children:

6cac1b02e25d25026aad95ff33638bde646607e0

Parents:

7b68dad986a23f68c3b877565974c020ecd1ffdf

Message:

* introduces EXTERNAL_MEMORY (--with-malloc=HEADER)


git-svn-id: file:///usr/local/Singular/svn/trunk@2691 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• MP/MPT/MPT.h (modified) (2 diffs)

MP/MPT/MPT.h

@@ -19 +19 @@
  * 
  ***************************************************************/
-typedef struct MPT_Tree_t MPT_Tree_t;
+struct MPT_Tree_t;
 typedef MPT_Tree_t * MPT_Tree_pt;
 
-typedef struct MPT_Node_t MPT_Node_t;
+struct MPT_Node_t;
 typedef MPT_Node_t * MPT_Node_pt;
 
-typedef struct MPT_Annot_t MPT_Annot_t;
+struct MPT_Annot_t;
 typedef MPT_Annot_t * MPT_Annot_pt;
 
@@ -31 +31 @@
 typedef MPT_Arg_t * MPT_Arg_pt;
 
-typedef struct MPT_Union_t MPT_Union_t;
+struct MPT_Union_t;
 typedef MPT_Union_t * MPT_Union_pt;
 
-typedef struct MPT_DynArgs_t MPT_DynArgs_t;
+struct MPT_DynArgs_t;
 typedef MPT_DynArgs_t * MPT_DynArgs_pt;