aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2011-03-16 16:46:10 +0000
committerdos-reis <gdr@axiomatics.org>2011-03-16 16:46:10 +0000
commita03bd87ff6b1273cf95f3ae5158d274672b89e21 (patch)
tree02c18c1a07dba6f132b9c42c0b33c895b5f07654
parent3156d86ff1d99c2d5291f057bd3a4cb710756472 (diff)
downloadopen-axiom-a03bd87ff6b1273cf95f3ae5158d274672b89e21.tar.gz
fix thinko
-rw-r--r--src/utils/Makefile.in2
-rw-r--r--src/utils/sexpr.H2
-rw-r--r--src/utils/sexpr.cc5
3 files changed, 7 insertions, 2 deletions
diff --git a/src/utils/Makefile.in b/src/utils/Makefile.in
index 2e963e67..764bda0f 100644
--- a/src/utils/Makefile.in
+++ b/src/utils/Makefile.in
@@ -59,7 +59,7 @@ all: all-ax
all-ax all-utils: stamp
-stamp: $(oa_target_oalib) hammer$(EXEEXT)
+stamp: $(oa_target_oalib) $(bin_PROGRAMS)
-rm -f stamp
$(STAMP) stamp
diff --git a/src/utils/sexpr.H b/src/utils/sexpr.H
index e81fe096..29fe07a9 100644
--- a/src/utils/sexpr.H
+++ b/src/utils/sexpr.H
@@ -1,4 +1,4 @@
-// Copyright (C) 2010, Gabriel Dos Reis.
+// Copyright (C) 2010-2011, Gabriel Dos Reis.
// All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
diff --git a/src/utils/sexpr.cc b/src/utils/sexpr.cc
index db822410..6ed2a964 100644
--- a/src/utils/sexpr.cc
+++ b/src/utils/sexpr.cc
@@ -424,6 +424,11 @@ namespace OpenAxiom {
// used templates floating around.
Allocator::~Allocator() { }
+ const Character*
+ Allocator::make_character(const Token& t) {
+ return chars.allocate(t);
+ }
+
const Integer*
Allocator::make_integer(const Token& t) {
return ints.allocate(t);