Skip to content

Commit

Permalink
Set User.PackageIsLoaded to true
Browse files Browse the repository at this point in the history
Usually set by endPackage, but that isn't called for User
  • Loading branch information
d-torrance authored and mahrud committed Aug 21, 2024
1 parent 03dddb2 commit 41e49bd
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions M2/Macaulay2/m2/last.m2
Original file line number Diff line number Diff line change
Expand Up @@ -39,6 +39,7 @@ addStartFunction(
Headline => "default package for interpreter interactions",
DebuggingMode => true,
PackageImports => if isMember("--no-preload", commandLine) then {} else Core#"preloaded packages");
User.PackageIsLoaded = true;
path = prepend("./",path); -- now we search also the user's current directory, since our files have already been loaded
path = unique apply( path, minimizeFilename); -- beautify
allowLocalCreation User#"private dictionary";
Expand Down

0 comments on commit 41e49bd

Please sign in to comment.