Merge branch 'master' into V9_dev

[modules/gui.git] / bin / gui_setenv.py

diff --git a/bin/gui_setenv.py b/bin/gui_setenv.py
index ec98f1bc8b3bafb40998b77c63b0b8624434be37..764deddd149c829e446a75b98f79b61e7c8837bc 100644 (file)
--- a/bin/gui_setenv.py
+++ b/bin/gui_setenv.py
@@ -1,4 +1,4 @@
-#! /usr/bin/env python
+#! /usr/bin/env python3
 #  -*- coding: iso-8859-1 -*-
 # Copyright (C) 2007-2016  CEA/DEN, EDF R&D, OPEN CASCADE
 #