diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-05 14:28:55 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-05 14:28:55 +0000 |
commit | 57e51c2212f1c626368c66c6fbcf78ea0ce9722e (patch) | |
tree | 6264e0a545a63bd8922fc7c2638fe003d404bdea /test/unit/parser/parser_white.h | |
parent | 342c81e52224be3afc255a8a719747fa5eafdb32 (diff) |
Minor refactorings, in response to code review (Bug #73)
Diffstat (limited to 'test/unit/parser/parser_white.h')
-rw-r--r-- | test/unit/parser/parser_white.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/unit/parser/parser_white.h b/test/unit/parser/parser_white.h index 270061c29..d0959cf6f 100644 --- a/test/unit/parser/parser_white.h +++ b/test/unit/parser/parser_white.h @@ -150,9 +150,9 @@ class ParserWhite : public CxxTest::TestSuite { parserState->mkVar("b",(Type*)d_exprManager->booleanType()); parserState->mkVar("c",(Type*)d_exprManager->booleanType()); /* t, u, v: TYPE */ - Type *t = parserState->newSort("t"); - Type *u = parserState->newSort("u"); - Type *v = parserState->newSort("v"); + Type *t = parserState->mkSort("t"); + Type *u = parserState->mkSort("u"); + Type *v = parserState->mkSort("v"); /* f : t->u; g: u->v; h: v->t; */ parserState->mkVar("f", (Type*)d_exprManager->mkFunctionType(t,u)); parserState->mkVar("g", (Type*)d_exprManager->mkFunctionType(u,v)); |