Undo spacing It was not suppose to be done on this request

This commit is contained in:
Shahzad Lone 2019-01-28 22:21:05 -05:00 committed by GitHub
parent b7e400d0db
commit 7428a98191
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -14,11 +14,13 @@ MemMgr::MemMgr() {
reducedCheckpoint = true;
hexfloatCheckpoint = false;
compactArraysCheckpoint = true;
defaultCheckPointAgent = new ClassicChkPtAgent( std::cout );
defaultCheckPointAgent->setDebugLevel( debugLevel);
defaultCheckPointAgent->setReducedCheckpoint( reducedCheckpoint);
defaultCheckPointAgent->setHexfloatCheckpoint( hexfloatCheckpoint);
defaultCheckPointAgent->setMakeCompactArrays( compactArraysCheckpoint );
currentCheckPointAgent = defaultCheckPointAgent;
typeDictionary = new TypeDictionary();