Merged with default.

1 files changed, 0 insertions, 4 deletions

diff --git a/Chalice/src/main/scala/Prelude.scala b/Chalice/src/main/scala/Prelude.scala
index 721b0131..f54cee2c 100644
--- a/Chalice/src/main/scala/Prelude.scala
+++ b/Chalice/src/main/scala/Prelude.scala
@@ -137,15 +137,11 @@ object CreditsAndMuPL extends PreludeComponent {
   val text = """

 var Credits: CreditsType;

 

-function IsGoodState(PartialHeapType) returns (bool);

 function combine(PartialHeapType, PartialHeapType) returns (PartialHeapType);

 function heapFragment<T>(T) returns (PartialHeapType);

 type PartialHeapType;

 const emptyPartialHeap: PartialHeapType;

 

-axiom (forall a: PartialHeapType, b: PartialHeapType :: {IsGoodState(combine(a, b))} IsGoodState(combine(a, b)) <==> IsGoodState(a) && IsGoodState(b));

-axiom IsGoodState(emptyPartialHeap);

-

 type ModuleName;

 const CurrentModule: ModuleName;

 type TypeName;