Changeset d828d63 in git for Singular/silink.cc

Timestamp:

Aug 2, 2012, 10:29:12 AM (11 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'ad2543eab51733612ba7d118afc77edca719600e')

Children:

0419aba8292e7109329604d8ad03b70f8ef65423

Parents:

85bcd6879cf375abcd839182c40d607f5e1e7884

Message:

removed MPSR stuff

File:

• Singular/silink.cc (modified) (1 diff)

Singular/silink.cc

@@ -834 +834 @@
 
   if (0) 0;
-#ifdef HAVE_MPSR
-  else if (strcmp(type, "MPfile") == 0)
-    s->next = slInitMPFileExtension(ns);
-  else if (strcmp(type, "MPtcp") == 0)
-    s->next = slInitMPTcpExtension(ns);
-#endif
 #ifdef HAVE_DBM
   else if (strcmp(type, "DBM") == 0)