mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-10 19:27:06 +00:00
Code Activity

Merge pull request from delcypher/fix_stray_uft8_bom

Browse source 
Fixed stray UTF-8 Byte order mark in ``InterpolationContext.cs``.
This commit is contained in:
Nikolaj Bjorner 2015-12-01 05:21:00 +13:00
parent 5d289a8da5 b0bc50a75c
commit f68c1d755f
1 changed files with 1 additions and 1 deletions

2
src/api/dotnet/InterpolationContext.cs
View file

@ -4,7 +4,7 @@ Copyright (c) 2015 Microsoft Corporation
--*/
using System;
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;