aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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);