blob: 9c1a8c89e802c6acb0170bc1114eb212c59c2bec (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
$NetBSD: patch-src_ordBase.h,v 1.2 2013/07/19 12:53:09 joerg Exp $
--- src/ordBase.h.orig 2010-01-17 04:50:43.000000000 +0000
+++ src/ordBase.h
@@ -5,9 +5,9 @@
#include <string>
#include <list>
-
#include "ordDebug.h"
#include "gmpxx.h"
+#include "ordinal.h"
using namespace std ;
@@ -381,9 +381,9 @@ public:
friend class NormalFormTerm ;
friend class Ordinal ;
- friend const Ordinal& ord::admisLevelFunctional(const Ordinal& levCK,
- const Ordinal& iter, const Ordinal* const * params,
- const Ordinal* drillDown);
+ friend const Ordinal& admisLevelFunctional(const Ordinal& levCK,
+ const Ordinal& iter, const Ordinal* const * params,
+ const Ordinal& drillDown);
static int idCount ;
bool inDeleteList ;
|