Skip to content

Commit

Permalink
Merge branch 'develop' into doc_profiles
Browse files Browse the repository at this point in the history
  • Loading branch information
dweindl authored Oct 25, 2023
2 parents c5f0d61 + 7e5da73 commit 913d852
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions pypesto/profile/profile.py
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
import copy
import logging
from typing import Callable, Iterable, Union

Expand Down Expand Up @@ -77,6 +78,8 @@ def parameter_profile(
result:
The profile results are filled into `result.profile_result`.
"""
# Copy the problem to avoid side effects
problem = copy.deepcopy(problem)
# Handling defaults
# profiling indices
if profile_index is None:
Expand Down

0 comments on commit 913d852

Please sign in to comment.