From df2b60f8a616c3d20f713d5175e1f12db7cefded Mon Sep 17 00:00:00 2001
From: Druido87 <silvano87@yahoo.it>
Date: Mon, 25 Apr 2016 22:37:39 +0200
Subject: [PATCH] Gestione doppio tipo di apostrofo
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

L'interprete supportava solo l'apostrofo ordinario ( ' ) adesso scompone in lessemi anche con l'apostrofo con stile ( ’ ) e lo accetta come alternativa a quello ordinario.
---
 sorgente/interprete.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sorgente/interprete.js b/sorgente/interprete.js
index eca8cf8..ce1bfe0 100644
--- a/sorgente/interprete.js
+++ b/sorgente/interprete.js
@@ -477,7 +477,7 @@ function ramificaInput(str, alt) {
 	inpLivelli = noDiacritici(str.toLowerCase()).split('|');
 	// Livello 2 (parole)
 	for (i1 = 0; i1 < inpLivelli.length; i1++) {
-		inpLivelli[i1] = inpLivelli[i1].split(/(?: |')+/);
+		inpLivelli[i1] = inpLivelli[i1].split(/(?: |'|’)+/);
 	}
 	if (alt == 2) {
 		// Livello 3 (alternative di parole)