ffc team mailing list archive

[Anders Logg <logg@xxxxxxxxx>]

On Fri, Sep 12, 2008 at 11:06:13AM +0200, Martin Sandve Alnæs wrote:
> Maybe rather
> 
> if options is None:
>     options = DEFAULT_FFC_OPTIONS.copy() # whatever the name is
> else:
>     options = options.copy()

This is handled anyway later, so it's enough to have an empty
dictionary:

  # Add defaults for missing options                                                                                       
  for key in FFC_OPTIONS_JIT:
      if not key in options:
          options[key] = FFC_OPTIONS_JIT[key]

-- 
Anders

Attachment: signature.asc
Description: Digital signature