diff options
author | dos-reis <gdr@axiomatics.org> | 2011-03-16 16:46:10 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-03-16 16:46:10 +0000 |
commit | a03bd87ff6b1273cf95f3ae5158d274672b89e21 (patch) | |
tree | 02c18c1a07dba6f132b9c42c0b33c895b5f07654 /src/utils | |
parent | 3156d86ff1d99c2d5291f057bd3a4cb710756472 (diff) | |
download | open-axiom-a03bd87ff6b1273cf95f3ae5158d274672b89e21.tar.gz |
fix thinko
Diffstat (limited to 'src/utils')
-rw-r--r-- | src/utils/Makefile.in | 2 | ||||
-rw-r--r-- | src/utils/sexpr.H | 2 | ||||
-rw-r--r-- | src/utils/sexpr.cc | 5 |
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); |