From 5395287cc2f758d94bec8befe8956ba2dcc3940c Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Thu, 15 Dec 2016 14:28:31 +1100 Subject: Old uncommitted changes --- test/definetypeop.art | 56 +++++++++++++++++++++++++-------------------------- 1 file changed, 28 insertions(+), 28 deletions(-) (limited to 'test/definetypeop.art') diff --git a/test/definetypeop.art b/test/definetypeop.art index 706bd3e..5577613 100644 --- a/test/definetypeop.art +++ b/test/definetypeop.art @@ -1,28 +1,28 @@ -"n" -"abs" -"rep" -"xtype" -nil -cons -"x" -"xtype" -varType -var -"c" -const -"bool" -typeOp -nil -opType -1 -def -constTerm -absTerm -"a" -const -1 -remove -constTerm -appTerm -assume -defineTypeOp +"n" +"abs" +"rep" +"xtype" +nil +cons +"x" +"xtype" +varType +var +"c" +const +"bool" +typeOp +nil +opType +1 +def +constTerm +absTerm +"a" +const +1 +remove +constTerm +appTerm +assume +defineTypeOp -- cgit