diff options
Diffstat (limited to 'tools/bench/benchtime.h')
| -rw-r--r-- | tools/bench/benchtime.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/bench/benchtime.h b/tools/bench/benchtime.h index a87ed70d7..af44cae72 100644 --- a/tools/bench/benchtime.h +++ b/tools/bench/benchtime.h @@ -17,7 +17,7 @@ License for more details. You should have received a copy of the GNU Lesser General Public License along with the GNU MPFR Library; see the file COPYING.LESSER. If not, see -http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., +https://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */ |