# HG changeset patch
# User Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
# Date 1405171720 -7200
# Node ID 4522d8fd9cba9996ab1a88f680990c9c0bea7e35
# Parent  8ca45824938edf41e64b99f23ca3a2bb45a11170
Make femfenics_factory non-copiable and non-assignable

diff -r 8ca45824938e -r 4522d8fd9cba src/femfenics_factory.h
--- a/src/femfenics_factory.h	Sat Jul 12 12:30:13 2014 +0200
+++ b/src/femfenics_factory.h	Sat Jul 12 15:28:40 2014 +0200
@@ -40,6 +40,9 @@
 
   private:
 
+  femfenics_factory (femfenics_factory const&);
+  femfenics_factory operator = (femfenics_factory const&);
+
   femfenics_base_factory const& factory (void) const;
 };